5180 search results - page 123 / 1036 » Concurrency, Time, and Constraints |
160
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...
165
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
184
click to vote
FM
1997
Springer
15 years 10 months ago
1997
Springer
At rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In thi...
124
click to vote
TIT
2002
15 years 6 months ago
2002
This paper focuses on jammed timing channels. Pure delay jammers with a maximum delay constraint, an average delay constraint, or a maximum buffer size constraint are explored, for...
275
click to vote
ICDE
1999
IEEE
16 years 7 months ago
1999
IEEE
This paper presents a general model for estimating access times of serpentine tape drives. The model is used to schedule I/O requests in order to minimize the total access time. W...