2607 search results - page 88 / 522 » On the Architecture of System Verification Environments |
166
click to vote
WISE
2002
Springer
15 years 11 months ago
2002
Springer
Advances in computing and communication technologies have resulted in a wide variety of networked mobile devices that access data over the Internet. In this paper, we argue that s...
165
click to vote
UIST
1997
ACM
15 years 10 months ago
1997
ACM
This paper describes our experiences implementing a component architecture for TeamWave Workplace, an integrated groupware environment using a rooms metaphor. The problem we faced...
160
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper describes the system architecture and core algorithms for a quadrotor helicopter that uses vision data to navigate an unknown, indoor, GPS-denied environment. Withou...
198
click to vote
VR
2007
IEEE
16 years 18 days ago
2007
IEEE
Large scale distributed virtual environments (DVEs) have become a major trend in distributed applications, mainly due to the enormous popularity of multi-player online games in th...
166
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Due to their nature, Peer-to-Peer (P2P) systems are subject to a wide range of security issues. In this paper, we focus on a specific security property, called the root authenticit...