2607 search results - page 293 / 522 » On the Architecture of System Verification Environments |
176
click to vote
AAMAS
2006
Springer
15 years 6 months ago
2006
Springer
File Integrity Analyzers serve as a component of an Intrusion Detection environment by performing filesystem inspections to verify the content of security-critical files in order ...
235
click to vote
DASFAA
2005
IEEE
16 years 8 days ago
2005
IEEE
Peer-to-peer (P2P) computing is gaining more and more significance due to its widespread use currently and potential deployments in future applications. In this paper, we propose ...
210
click to vote
ACMACE
2005
ACM
16 years 7 days ago
2005
ACM
Immersing players in believable and engaging virtual environments is a common goal for many interactive computer games. While PC-based audio only games set in virtual worlds have ...
207
click to vote
SFM
2005
Springer
16 years 4 days ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
154
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
In a mobile environment where mobile applications suffer from the limitation and variation of system resources availability, it is desirable for the applications to adapt their be...