56 search results - page 3 / 12 » Complete Monitors for Behavioral Contracts |
POPL
2012
ACM
12 years 3 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
EEE
2005
IEEE
14 years 1 months ago
2005
IEEE
Comprehensive contractual description of Web Services and Web Service compositions is needed for selection of appropriate Web Services and their service and quality of service (Qo...
RULEML
2010
Springer
13 years 5 months ago
2010
Springer
The Semantic Web aims at automating Web content understanding and user request satisfaction. Intelligent agents assist towards this by performing complex actions on behalf of their...
SIGCOMM
2006
ACM
14 years 1 months ago
2006
ACM
We present Wit, a non-intrusive tool that builds on passive monitoring to analyze the detailed MAC-level behavior of operational wireless networks. Wit uses three processing steps...
EUROPAR
2004
Springer
14 years 25 days ago
2004
Springer
This paper describes a monitoring environment that enables the analysis of memory access behavior of applications in a selective way with a potentially very high degree of detail. ...