1106 search results - page 178 / 222 » Automated Design of Security Protocols |
ETFA
2008
IEEE
15 years 6 months ago
2008
IEEE
The distribution of real-time tasks in a networked environment in principle has several advantages, above all a high degree of flexibility easing system extension and replacement...
LICS
1996
IEEE
15 years 4 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
105
click to vote
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a novel, unified distributed constraint satisfaction framework based on automated negotiation. The Distributed Constraint Satisfaction Problem (DCSP) is one t...
108
click to vote
TPHOL
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
JOT
2007
14 years 11 months ago
2007
Interface-based programming, i.e. the systematic use of interface types in variable declarations, serves the decoupling of classes and increases a program’s changeability. To ma...