4476 search results - page 833 / 896 » Modeling software architectures in the Unified Modeling Lang... |
152
click to vote
SEFM
2006
IEEE
15 years 11 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
173
click to vote
MOBISYS
2008
ACM
16 years 5 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...
164
click to vote
MIDDLEWARE
2004
Springer
15 years 11 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...
184
Voted
AAMAS
2004
Springer
15 years 5 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...
239
click to vote
ANCS
2011
ACM
14 years 5 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...