Sciweavers

6423 search results - page 1085 / 1285
» Maintaining Information Resources
Sort
View
FM
2006
Springer
133views Formal Methods» more  FM 2006»
15 years 10 months ago
Enforcer - Efficient Failure Injection
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
Cyrille Artho, Armin Biere, Shinichi Honiden
CBMS
2001
IEEE
15 years 10 months ago
Computer Assisted Retrieval of Biomedical Image Features from Spine X-Rays: Progress and Prospects
Image indexing for biomedical content is a prohibitively expensive task if done manually. This leads to the demand for effective automated or computer assisted indexing methods. W...
L. Rodney Long, George R. Thoma
ESORICS
2000
Springer
15 years 10 months ago
Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...
Ian Welch, Robert J. Stroud
ICSE
2000
IEEE-ACM
15 years 10 months ago
Testing: a roadmap
Testing is an important process that is performed to support quality assurance. Testing activities support quality assurance by gathering information about the nature of the softw...
Mary Jean Harrold
RAID
2000
Springer
15 years 10 months ago
Adaptive, Model-Based Monitoring for Cyber Attack Detection
Inference methods for detecting attacks on information resources typically use signature analysis or statistical anomaly detection methods. The former have the advantage of attack...
Alfonso Valdes, Keith Skinner
« Prev « First page 1085 / 1285 Last » Next »