7209 search results - page 1054 / 1442 » Software Engineering for Multi-Agent Systems |
133
Voted
ISORC
2006
IEEE
15 years 9 months ago
2006
IEEE
Integrated architectures promise substantial technical and economic benefits in the development of distributed embedded real-time systems. In the context of diagnosis new diagnos...
125
Voted
UIST
2005
ACM
15 years 9 months ago
2005
ACM
Location information can be used to enhance interaction with mobile devices. While many location systems require instrumentation of the environment, we present a system that allow...
141
Voted
ICFEM
2005
Springer
15 years 9 months ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
125
click to vote
ARCS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract: File sharing systems cause a huge portion of traffic in the Internet. With respect to the peer-to-peer approach, unicast delivery of content is the common case. Unfortun...
113
click to vote
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...