3868 search results - page 499 / 774 » Open Systems in TLA |
170
click to vote
SWARM
2008
SPRINGER
15 years 6 months ago
2008
SPRINGER
In this paper, we study self-organized flocking in a swarm of mobile robots. We present Kobot, a mobile robot platform developed specifically for swarm robotic studies. We describe...
199
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we propose a general-purpose framework that harnesses the power of lightweight virtualization to track applications interactions in a scalable an efficient manner. ...
211
click to vote
USENIX
2004
15 years 8 months ago
2004
The prevention of damage caused to a system via malicious executables is a significant issue in the current state of security on Linux operating systems. Several approaches are av...
188
click to vote
SAT
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
184
click to vote
APCCM
2009
15 years 7 months ago
2009
Application domain description precedes requirements engineering, and is the basis for the development of a software or information system that satisfies all expectations of its u...