1676 search results - page 129 / 336 » Formal Development of Self-organising Systems |
SP
1997
IEEE
15 years 2 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
Recently a lot of multimedia applications are emerging on portable appliances. They require both the flexibility of upgradeable devices (traditionally software based) and a powerf...
107
click to vote
PODS
2011
ACM
14 years 24 days ago
2011
ACM
Complex Event Processing (CEP) Systems are stream processing systems that monitor incoming event streams in search of userspeciļ¬ed event patterns. While CEP systems have been ad...
ISSS
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speciļ¬...
DSVIS
1997
Springer
15 years 2 months ago
1997
Springer
Much of the work reported in the ļ¬rst three DSVIS conferences has concentrated on techniques and languages for specifying and developing interactive systems. In this paper, we ar...