1156 search results - page 27 / 232 » Compositional Methods for Information-Hiding |
WAIM
2004
Springer
14 years 27 days ago
2004
Springer
This paper presents an architecture and a methodology for agent-based Web service discovery and automated composition. We assume that Web services are described with declarative sp...
CVPR
2011
IEEE
13 years 4 months ago
2011
IEEE
We present a novel approach to representing and recognizing composite video events. A composite event is specified by a scenario, which is based on primitive events and their tem...
FM
2009
Springer
14 years 2 months ago
2009
Springer
FCT
2003
Springer
14 years 23 days ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
ENTCS
2006
13 years 7 months ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...