Sciweavers

4930 search results - page 601 / 986
» Testing a Safety-Critical Application
Sort
View
ACSAC
2005
IEEE
16 years 1 months ago
Verify Results of Network Intrusion Alerts Using Lightweight Protocol Analysis
We propose a method to verify the result of attacks detected by signature-based network intrusion detection systems using lightweight protocol analysis. The observation is that ne...
Jingmin Zhou, Adam J. Carlson, Matt Bishop
CIG
2005
IEEE
16 years 1 months ago
Building Reactive Characters for Dynamic Gaming Environments
Interactive computer games are widely seen as a killer application domain for Artificial Intelligence (AI) [8]. Quite apart from the significant size of the games market in terms...
Peter Blackburn, Barry O'Sullivan
ESCIENCE
2005
IEEE
16 years 1 months ago
GAMA: Grid Account Management Architecture
Security is a critical component of grid systems and while there are numerous software components and tools that provide some capabilities relating to security, there are few comp...
Karan Bhatia, Sandeep Chandra, Kurt Mueller
ICRA
2005
IEEE
120views Robotics» more  ICRA 2005»
16 years 1 months ago
A Method for Modeling and Control Complex Tendon Transmissions in Haptic Interfaces
— One of the principal guidelines in the design of haptic devices is to provide a suitable mechanical design that can improve control performance and the force-feedback fidelity...
Simone Marcheschi, Antonio Frisoli, Carlo Alberto ...
IDEAS
2005
IEEE
142views Database» more  IDEAS 2005»
16 years 1 months ago
Automatically Maintaining Wrappers for Web Sources
A substantial subset of the web data follows some kind of underlying structure. Nevertheless, HTML does not contain any schema or semantic information about the data it represents...
Juan Raposo, Alberto Pan, Manuel Álvarez, J...