1268 search results - page 15 / 254 » Verifying distributed systems: the operational approach |
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
In complex multi-agent fusion systems resource conflicts are very likely to occur. We propose an algorithm that determines the optimal sensing resource to fusion task assignment,...
COMPSAC
2008
IEEE
14 years 4 months ago
2008
IEEE
A new approach to the configuration and operation of electrical distribution networks is proposed. Traditionally, the medium-voltage part of the electrical grid is operated in a c...
CSCW
2000
ACM
14 years 2 months ago
2000
ACM
In real−time collaborative systems, replicated objects, shared by users, are subject to concurrency constraints. In order to satisfy these, various algorithms, qualified as opâˆ...
ICARCV
2006
IEEE
14 years 3 months ago
2006
IEEE
— Login access control refers to securing the entry point to a computing system. The login system is responsible for this service and must provide a number of tasks, the main tas...
JPDC
2008
13 years 9 months ago
2008
Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or removing compo...