6756 search results - page 373 / 1352 » Distributed Shared State |
182
click to vote
WISE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Rich Internet applications (RIAs) enable novel usage scenarios by overcoming the traditional paradigms of Web interaction. Conventional Web applications can be seen as re...
140
click to vote
ATAL
2007
Springer
16 years 28 days ago
2007
Springer
We consider real-time multi-agent coordination in a dynamic and uncertain domain addressing both distributed state information and partial knowledge of the common reward function....
158
click to vote
FSEN
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
171
click to vote
ETFA
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
199
click to vote
ISCAS
2005
IEEE
16 years 9 days ago
2005
IEEE
— Interconnect delays are increasingly becoming the dominant source of performance degradation in the nano-meter regime, largely because of disturbances that result from parasiti...