111 search results - page 14 / 23 » Run-Time Verification of Networked Software |
LCTRTS
2005
Springer
15 years 3 months ago
2005
Springer
Mobile computing based upon wireless technology as the interconnect and PDAs, Web-enabled cell phones etc. as the end devices provide a rich infrastructure for anywhere, anytime i...
ENTCS
2008
14 years 9 months ago
2008
A lot of progress has been made to secure network communication, e.g., through the use of cryptographic algorithms. However, this offers only a partial solution as long as the com...
SIMUTOOLS
2008
14 years 11 months ago
2008
In this paper we present a methodology for the evaluation of networked systems communicating using WLAN technology. We show a case study of goal-oriented cooperating robots, for w...
INFOCOM
1999
IEEE
15 years 1 months ago
1999
IEEE
We are facing a growing user demand for ubiquitous Internet access. As a result, network ports and wireless LANs are becoming common in public spaces inside buildings such as loung...
106
click to vote
COMSIS
2007
14 years 9 months ago
2007
Ambient Intelligence aims to enhance the way people interact with their environment to promote safety and to enrich their lives. A Smart Home is one such system but the idea extend...