733 search results - page 144 / 147 » Active Automation of the DITSCAP |
WOSP
2005
ACM
14 years 4 months ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
ECWEB
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Semantic Web Services can be seen as remote Problem Solving Methods offered via the Web through platform and language independent interfaces. They can be seamlessly inte...
OTM
2005
Springer
14 years 4 months ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
ISW
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
NMR
2004
Springer
14 years 4 months ago
2004
Springer
The development of Logic Programming and Defeasible Argumentation lead to Defeasible Logic Programming. Its core resides in the characterization of the warrant procedure. Defeasib...