13 search results - page 1 / 3 » Automated generation of monitors for pattern contracts |
SAC
2006
ACM
13 years 10 months ago
2006
ACM
CASCON
2008
13 years 6 months ago
2008
Service Level Agreements (SLAs) define the level of service that a service provider must deliver. An SLA is a contract between service provider and consumer, and includes appropri...
UML
2004
Springer
13 years 9 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
SEKE
2005
Springer
13 years 10 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
USS
2004
13 years 5 months ago
2004
Today's Internet intrusion detection systems (IDSes) monitor edge networks' DMZs to identify and/or filter malicious flows. While an IDS helps protect the hosts on its l...