773 search results - page 123 / 155 » Coordination in the ImpUNITY Framework |
EUROSYS
2007
ACM
15 years 3 months ago
2007
ACM
The majority of aspect-oriented middlewares supporting dynamic aspect weaving fail to preserve important safety properties while weaving or unweaving a distributed aspect at runti...
101
click to vote
FOSSACS
2009
Springer
15 years 3 months ago
2009
Springer
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...
104
click to vote
CCGRID
2006
IEEE
15 years 3 months ago
2006
IEEE
-- Cyberinfrastructure makes the development and deployment of bioinformatics applications easier by providing the framework and components that may be loosely coupled using servic...
108
click to vote
POPL
1990
ACM
15 years 3 months ago
1990
ACM
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
FLAIRS
2008
15 years 2 months ago
2008
Simple Temporal Networks (STNs) are frequently used in scheduling applications, as they provide a powerful and general tool for managing temporal constraints. One obstacle to thei...