3868 search results - page 161 / 774 » Open Systems in TLA |
197
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
Lossy channel systems are systems of finite state automata that communicate via unreliable unbounded fifo channels. Today the main open question in the theory of lossy channel sy...
176
click to vote
IAT
2007
IEEE
15 years 11 months ago
2007
IEEE
Multiagent systems (MAS) satisfy to design requirements for open physical complex systems. However, up to now, no method allows to build software/hardware hybrid multiagent system...
156
click to vote
ATAL
2005
Springer
16 years 16 days ago
2005
Springer
In this demo, we present our two fault-tolerant systems to overcome stop failure and Byzantine failure, respectively, for agent execution platforms such as JADE and Aglets. For bo...
185
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
Spatiotemporal database management systems can become an enabling technology for important applications such as Geographic Information Systems (GIS), environmental information sys...
163
click to vote
JCDL
2003
ACM
16 years 7 days ago
2003
ACM
Expandability is one of the main requirements of future digital libraries. This paper introduces a digital library service system, OpenDLib, that has been designed to be highly ex...