141 search results - page 17 / 29 » Transforming OCL constraints: a context change approach |
FIW
1998
13 years 9 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
FLAIRS
2008
13 years 10 months ago
2008
Simple Temporal Networks (STNs) are frequently used in scheduling applications, as they provide a powerful and general tool for managing temporal constraints. One obstacle to thei...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
—Enterprise networks are large and complex, and their designs must be frequently altered to adapt to changing organizational needs. The process of redesigning and reconfiguring ...
BPM
2006
Springer
14 years 5 days ago
2006
Springer
Adaptivity in Process Management Systems (PMS) is key to their successful applicability in pratice. Approaches have already been developed to ensure the system correctness after ar...
IWSEC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Common software-protection systems attempt to detect malicious observation and modification of protected applications. Upon tamper detection, anti-hacking code may produ...