12084 search results - page 400 / 2417 » Effect Systems with Subtyping |
195
click to vote
CONCUR
2006
Springer
15 years 11 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
194
click to vote
DSVIS
2006
Springer
15 years 11 months ago
2006
Springer
This paper describes a platform for the user-centred design and evaluation of adaptive, context-aware services in the wireless, mobile and pervasive computing markets. It focuses o...
183
click to vote
ERCIMDL
2006
Springer
15 years 11 months ago
2006
Springer
This demonstration provides a "hands on" experience to the "internals" of Pergamos, the University of Athens DL System. Pergamos provides uniform high level DL ...
213
click to vote
ETFA
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper discusses an on-line Tasks Assignment and Routing Problem(TARP) for Autonomous Transportation Systems(ATSs) in manufacturing systems. The TARP results in a constrained ...
170
click to vote
OHS
2000
Springer
15 years 11 months ago
2000
Springer
In the Fourth Open Hypermedia Systems workshop, the authors presented scenarios and a set of prototype tools to explore the application of open hypermedia principles, including con...