91 search results - page 11 / 19 » Weak Composite Diffie-Hellman |
ICPR
2004
IEEE
14 years 8 months ago
2004
IEEE
In this paper a composite framework for collaborative working is presented. The framework includes real-time motion tracking based on computer vision from standard webcams situate...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
WISE
2007
Springer
14 years 1 months ago
2007
Springer
Current problems in Business Process Management consist of terminology mismatches and unstructured and isolated knowledge representation in process models. Semantic Business Proces...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
IFIPTCS
2000
13 years 11 months ago
2000
Abstract The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to ch...