1707 search results - page 218 / 342 » On the Design of Agent-Based Systems using UML and Extension... |
178
click to vote
DFG
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
184
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
In this work, we investigate the use of directional antennas and beam steering techniques to improve performance of 802.11 links in the context of communication between a moving v...
169
click to vote
FAST
2004
15 years 7 months ago
2004
File versioning is a useful technique for recording a history of changes. Applications of versioning include backups and disaster recovery, as well as monitoring intruders' a...
164
click to vote
SMC
2007
IEEE
16 years 19 days ago
2007
IEEE
— This paper presents the prototype of an expert peering system for information exchange in the knowledge society. Our system realizes an intelligent, real-time search engine for...
166
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
—In recent years a number of research efforts have focused on effective use of P2P-based systems in providing large scale video streaming services. In particular, live streaming ...