451 search results - page 88 / 91 » Engineering Abstractions in Model Checking and Testing |
126
Voted
AOSD
2006
ACM
15 years 8 months ago
2006
ACM
Usually, aspects enhance a software product by being composed - or woven - into it. Here, on the other hand, we use aspects to support the software development process itself. The...
156
Voted
EUROSYS
2008
ACM
15 years 11 months ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
105
Voted
PETRA
2009
ACM
15 years 9 months ago
2009
ACM
In Italy, the service of Pediatric oncology is very centralized and granted by high-specialized medical structures. In the Italian Regione Campania there are just few of such medi...
159
click to vote
WADS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Many real-time embedded systems involve a collection of independently executing event-driven code blocks, having hard real-time constraints. Portions of such codes when t...
134
Voted
CEC
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...