Sökning: "Smart card data"

Visar resultat 1 - 5 av 7 avhandlingar innehållade orden Smart card data.

  1. 1. Towards Development of Safe and Secure Java Card Applets

    Författare :Wojciech Mostowski; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formal methods; Java; formal specification; object-oriented development; formal verification; Dynamic Logic; UML; OCL; Java Card;

    Sammanfattning : This thesis is concerned with different aspects of Java Card application development and use of formal methods in the Java Card world. Java Card is a technology that provides means to program smart (chip) cards with (a subset of) the Java language. LÄS MER

  3. 2. Formal Development of Safe and Secure Java Card Applets

    Författare :Wojciech Mostowski; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; object-oriented design; Java Card; formal verification; formal specification; dynamic logic;

    Sammanfattning : This thesis is concerned with formal development of Java Card applets. Java Card is a technology that provides a means to program smart cards with (a subset of) the Java language. In recent years Java Card technology gained great interest in the formal verification community. There are two reasons for this. LÄS MER

  4. 3. Mobility Knowledge Graph and its Application in Public Transport

    Författare :Qi Zhang; Zhenliang Ma; Erik Jenelius; Carlos Lima Azevedo; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Knowledge graph; Smart card data; Public transport; User-station attention; Relation extraction; Transportvetenskap; Transport Science; Transportsystem; Transport Systems;

    Sammanfattning : Efficient public transport planning, operations, and control rely on a deep understanding of human mobility in urban areas. The availability of extensive and diverse mobility data sources, such as smart card data and GPS data, provides opportunities to quantitatively study individual behavior and collective mobility patterns. LÄS MER

  5. 4. Methods for Travel Pattern Analysis Using Large-Scale Passive Data

    Författare :Nils Breyer; Clas Rydergren; David Gundlegård; Yusak Susilo; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : Comprehensive knowledge of travel patterns is crucial to enable planning for a more efficient traffic system that accommodates human mobility demand. Currently, this knowledge is mainly based on traffic models based on relatively small samples of observations collected from travel surveys and traffic counts. LÄS MER

  7. 5. Performance, Availability, and Scalability in Open Networking Platforms for Internet Services

    Författare :Voravit Tanyingyong; Peter Sjödin; Markus Hidell; Raimo Kantola; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Network architecture and design; Network communications; Performance; Availability; Scalability; Internet of Things IoT ; Nätverksarkitektur och design; nätverkskommunikation; prestanda; tillgänglighet; skalbarhet; sakernas internet IoT ; Informations- och kommunikationsteknik; Information and Communication Technology;

    Sammanfattning : Advancement in technologies brings about new demands and services. In parallel, modern commodity off-the-shelf (COTS) hardware has become very capable yet affordable. It is often used in combination with Free/Libre and Open Source Software (FLOSS) to build open networking platforms, which offer alternatives to commercial network devices. LÄS MER