550 search results - page 61 / 110 » A lightweight approach to state based security testing |
ICDCS
2005
IEEE
15 years 3 months ago
2005
IEEE
Securing data is becoming a crucial need for most internet-based applications. Whereas the problem of data confidentiality has been widely investigated, the problem of how to ens...
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
Seeded image segmentation is a popular type of supervised image segmentation in computer vision and image processing. Previous methods of seeded image segmentation treat the image...
AGENTS
1999
Springer
15 years 2 months ago
1999
Springer
In this paper, we present a novel multi-agent learning paradigm called team-partitioned, opaque-transition reinforcement learning (TPOT-RL). TPOT-RL introduces the concept of usin...
CCS
2007
ACM
15 years 4 months ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
USENIX
2008
15 years 2 days ago
2008
We present a novel method for diagnosing configuration management errors. Our proposed approach deduces the state of a buggy computer by running predicates that test system correc...