1156 search results - page 27 / 232 » Compositional Methods for Information-Hiding |
143
click to vote
WAIM
2004
Springer
15 years 7 months 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...
138
click to vote
CVPR
2011
IEEE
14 years 10 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
15 years 8 months ago
2009
Springer
116
click to vote
FCT
2003
Springer
15 years 7 months 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...
114
click to vote
ENTCS
2006
15 years 1 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...