18493 search results - page 241 / 3699 » Timers for Distributed Systems |
142
Voted
CAV
2009
Springer
15 years 9 months ago
2009
Springer
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
129
click to vote
GI
2001
Springer
15 years 9 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
130
click to vote
SEKE
1994
Springer
15 years 8 months ago
1994
Springer
Scienti c research addressing global change continues to generate large quantities of information for analysis and understanding. However, the volume, distributed nature, and dive...
149
click to vote
HOTDEP
2008
15 years 6 months ago
2008
We describe a technique for writing distributed applications which manage themselves over one or more utility computing infrastructures: by dynamically acquiring new computational...
123
click to vote
AAAI
2004
15 years 5 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...