8636 search results - page 483 / 1728 » How Developers Copy |
190
click to vote
AIL
2006
15 years 7 months ago
2006
When a conflict of duties arises, a resolution is often sought by determining an ordering of priority or importance. This paper examines how such a conflict resolution works, compa...
184
click to vote
FAC
2008
15 years 7 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
162
click to vote
ENTCS
2006
15 years 6 months ago
2006
We review the recently developed technique of Monte Carlo model checking and show how it can be applied to the implementation problem for I/O Automata. We then consider some open ...
178
click to vote
WINET
2008
15 years 6 months ago
2008
We study how selfish nodes react to transmission costs in wireless networks. Intuitively, it seems that transmission costs should have a stabilizing effect as (rational) nodes will...
158
click to vote
CONCURRENCY
2004
15 years 6 months ago
2004
The heterogeneous and dynamic nature of Grid environments place new demands on models and paradigms for parallel programming. In this work we discuss how ALua, a programming syste...