2870 search results - page 290 / 574 » Synchronization of multi-agent systems |
169
click to vote
DAC
2000
ACM
16 years 5 months ago
2000
ACM
In this paper, we introduce a new technique for modeling and solving the dynamic power management (DPM) problem for systems with complex behavioral characteristics such as concurr...
119
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
— In this paper, we present a temporal logic called F whose interpretation is over Input Output Symbolic Transition Systems (IOSTS). IOSTS extend transition systems to communicat...
140
click to vote
DSOM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. End-to-end automated application design and deployment poses a significant technical challenge. With increasing scale and complexity of IT systems and the manual handling...
146
click to vote
HUMAN
2003
Springer
15 years 9 months ago
2003
Springer
Object caching is a desirable feature to improve the both scalability and performance of distributed application systems for information infrastructure, the information management ...
134
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...