2060 search results - page 70 / 412 » The Composition of Event-B Models |
159
click to vote
IACR
2011
14 years 3 months ago
2011
A zero-knowledge protocol allows a prover to convince a verifier of the correctness of a statement without disclosing any other information to the verifier. It is a basic tool a...
124
click to vote
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
Feature modeling is a popular domain analysis method for describing the commonality and variability among the domain products. The current formalisms of feature modelling do not ha...
153
click to vote
BIS
2007
15 years 5 months ago
2007
In this work, we present a conceptual framework for deriving executable business process models from high-level, graphical business process models based on the paradigm of Service-...
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
ing Complex Languages through Transformation and Composition Jendrik Johannes, Steffen Zschaler, Miguel A. Fernández, Antonio Castillo, Dimitrios S. Kolovos and Richard F. Paige ...
218
click to vote
KESAMSTA
2011
Springer
14 years 6 months ago
2011
Springer
Creating modular behaviours in JADE using a traditional method such as the FSM (Finite State Machine) can be a difficult task to achieve. The first issue with FSMs is that they do...