2836 search results - page 548 / 568 » Model Checking for Software Architectures |
EUROPAR
2004
Springer
14 years 1 months ago
2004
Springer
The interesting properties of P2P systems (high availability despite peer volatility, support for heterogeneous architectures, high scalability, etc.) make them attractive for dist...
MOBISYS
2008
ACM
14 years 7 months ago
2008
ACM
Personal mobile devices are increasingly equipped with the capability to sense the physical world (through cameras, microphones, and accelerometers, for example) and the network w...
MIDDLEWARE
2004
Springer
14 years 1 months ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...
AAMAS
2004
Springer
13 years 7 months ago
2004
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. The complex interactions of ag...
ANCS
2011
ACM
12 years 7 months ago
2011
ACM
Network virtualization has emerged as a powerful technique to deploy novel services and experimental protocols over shared network infrastructures. Although recent research has hi...