2276 search results - page 373 / 456 » Aspect-Oriented Requirements Engineering for Component-Based... |
EUROSYS
2008
ACM
14 years 5 months ago
2008
ACM
Eudaemon is a technique that aims to blur the borders between protected and unprotected applications, and brings together honeypot technology and end-user intrusion detection and ...
ISSTA
2004
ACM
14 years 2 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
CGO
2006
IEEE
14 years 16 days ago
2006
IEEE
Modern computer systems are called on to deal with billions of events every second, whether they are instructions executed, memory locations accessed, or packets forwarded. This p...
FASE
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...
SIGADA
2004
Springer
14 years 2 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...