ISSTA
2012
ACM
12 years 1 months ago
2012
ACM
Over the last decade, there has been a significant increase in the number and sophistication of malware-related attacks and infections. Many detection techniques have been propos...
GECCO
2008
Springer
14 years 18 days ago
2008
Springer
Increasingly, high-assurance applications rely on autonomic systems to respond to changes in their environment. The inherent uncertainty present in the environment of autonomic sy...
VAMOS
2008
Springer
14 years 28 days ago
2008
Springer
This paper deals with managing variability on behavioral models. Such models are generally more complex, less tractable by hand than the static, structural parts of a system descr...
BMAS
2000
IEEE
14 years 4 months ago
2000
IEEE
System design requires experienced designers that use heuristics and built up knowledge to propose a high order solution. Behavioral models can help to formalise, optimise and spe...
ANSS
2002
IEEE
14 years 4 months ago
2002
IEEE
We present a simulation and design framework for simultaneously designing and modeling electromechanical systems. By instantiating component objects and connecting them to each ot...