4353 search results - page 94 / 871 » Expressiveness of Process Algebras |
142
click to vote
ICIP
2001
IEEE
16 years 5 months ago
2001
IEEE
In this paper we use concepts from the lattice-based theory of morphological operators and fuzzy sets to develop generalized lattice image operators that can be expressed as nonli...
131
click to vote
DMSN
2009
ACM
15 years 10 months ago
2009
ACM
Generating a good execution plan for a declarative query has long been a central problem in data management research. With the rise in interest in wireless sensor networks (WSNs) ...
165
click to vote
ECOWS
2007
Springer
15 years 10 months ago
2007
Springer
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...
120
click to vote
CISC
2005
Springer
15 years 9 months ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...
126
click to vote
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...