1352 search results - page 207 / 271 » Designing Security Requirements Models Through Planning |
SAFECOMP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
CASES
2006
ACM
14 years 2 months ago
2006
ACM
Architectural advances of modern systems has often been at odds with control complexity, requiring significant effort in both design and verification. This is particularly true ...
SIGMOD
2009
ACM
14 years 9 months ago
2009
ACM
Most information extraction (IE) approaches have considered only static text corpora, over which we apply IE only once. Many real-world text corpora however are dynamic. They evol...
ACMICEC
2006
ACM
14 years 2 months ago
2006
ACM
Supply chains are a central element of today’s global economy. Existing management practices consist primarily of static interactions between established partners. Global compet...
IMC
2006
ACM
14 years 2 months ago
2006
ACM
Pattern matching and analysis over network data streams is increasingly becoming an essential primitive of network monitoring systems. It is a fundamental part of most intrusion d...