354 search results - page 59 / 71 » Consistency between Executable and Abstract Processes |
COMPSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—In recent years, cost-sensitive intrusion response has gained significant interest, mainly due to its emphasis on the balance between potential damage incurred by the i...
MODELS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
INAP
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
CP
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. Variable elimination is the basic step of Adaptive Consistency 4 . It transforms the problem into an equivalent one, having one less variable. Unfortunately, there are ma...
APSEC
2007
IEEE
14 years 1 months ago
2007
IEEE
Maintaining software systems becomes more difficult as their size and complexity increase. One factor that makes software maintenance more difficult is the presence of code clones...