Sciweavers

ISSE
2007
13 years 10 months ago
Specifying real-time properties in autonomic systems
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
Ji Zhang, Zhinan Zhou, Betty H. C. Cheng, Philip K...
ISSE
2006
13 years 11 months ago
Modeling security as a dependability attribute: a refinement-based approach
Abstract As distributed, networked computing systems become the dominant computing platform in a growing range of applications, they increase opportunities for security violations ...
Ali Mili, Frederick T. Sheldon, Lamia Labed Jilani...
ISSE
2006
13 years 11 months ago
Pattern Componentization: The Factory Example
Can Design Patterns be turned into reusable components? To help answer this question, we have performed a systematic study of the standard design patterns. One of the most ing is ...
Karine Arnout, Bertrand Meyer
ISSE
2006
13 years 11 months ago
Formalization and assessment of regulatory requirements for safety-critical software
Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. G...
ISSE
2006
13 years 11 months ago
Security Analysis and Configuration of Large Networks
Providing and managing security for large networked systems is difficult because their size and complexity makes manual design and management nearly impossible. Current security m...
Antonio Lioy
ISSE
2008
13 years 11 months ago
A framework for computer-aided validation
Doron Drusinsky, James Bret Michael, Man-tak Shing