4693 search results - page 817 / 939 » Verifying Hybrid Systems |
124
Voted
CSFW
2009
IEEE
15 years 4 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
131
Voted
HIPC
2007
Springer
15 years 4 months ago
2007
Springer
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...
114
click to vote
FORMATS
2009
Springer
15 years 4 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
128
click to vote
ICICS
2007
Springer
15 years 4 months ago
2007
Springer
Authentication is increasingly relevant to data management. Data is being outsourced to untrusted servers and clients want to securely update and query their data. For example, in ...
110
Voted
AINA
2004
IEEE
15 years 4 months ago
2004
IEEE
With the explosion of the mobile communication market, more and more handheld devices act as clients in the Internet. People use these devices to purchase books, play games, recei...