Sciweavers

4809 search results - page 642 / 962
» Scalable Analysis of Scalable Systems
Sort
View
FLAIRS
2007
15 years 9 months ago
A Generic Memory Module for Events
Intelligent systems need to store their experience so that it can be reused. A memory for such systems needs to efficiently organize and search previous experience and to retriev...
Dan Tecuci, Bruce W. Porter
187
Voted
ATAL
2008
Springer
15 years 8 months ago
AGENTFLY: a multi-agent airspace test-bed
The contribution presents a multi-agent technology in the domain of the air-traffic control of several autonomous aerial vehicles (manned as well as unmanned). The system has been...
David Sislák, Premysl Volf, Stepán K...
CCS
2008
ACM
15 years 8 months ago
CMV: automatic verification of complete mediation for java virtual machines
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
A. Prasad Sistla, V. N. Venkatakrishnan, Michelle ...
ECCV
2008
Springer
15 years 8 months ago
Improving the Agility of Keyframe-Based SLAM
Abstract. The ability to localise a camera moving in a previously unknown environment is desirable for a wide range of applications. In computer vision this problem is studied as m...
Georg Klein, David W. Murray
USENIX
1994
15 years 8 months ago
Experiences with a Survey Tool for Discovering Network Time Protocol Servers
The Network Time Protocol (NTP) is widely used to synchronize computer clocks throughout the Internet. Existing NTP clients and servers form a very large distributed system, and y...
James D. Guyton, Michael F. Schwartz