1150 search results - page 24 / 230 » Specifying Information-Flow Controls |
IEICET
2006
13 years 9 months ago
2006
Abstract--This paper deals with a synthesis of a nonautonomous system with a stable limit cycle. By extending Green's method, by which arbitrary periodic solutions can be desi...
FATES
2004
Springer
14 years 2 months ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
NSPW
2006
ACM
14 years 3 months ago
2006
ACM
The use of deception is one of many defensive techniques being explored today. In the past, defenders of systems have used deception haphazardly, but now researchers are developin...
TC
2001
13 years 10 months ago
2001
The paper first develops the core IS view of business activity, which comprises informational and physical work systems and central to which is the informational work system deliv...
UML
2004
Springer
14 years 2 months ago
2004
Springer
Addressing non-orthogonal software concerns that arisefrom requirements can significantly contribute to the complexity of developing large systems. Difficulties arise from the need...