4763 search results - page 301 / 953 » On the Execution of Deep Models |
191
click to vote
FUIN
2007
15 years 6 months ago
2007
In this paper we show a novel method for modelling behaviours of security protocols using networks of communicating automata in order to verify them with SAT-based bounded model ch...
162
click to vote
AR
2005
15 years 6 months ago
2005
An important component of compliant motion control is the estimation of contact states during task execution. This paper addresses two fundamental questions that must be answered w...
204
click to vote
TSMC
1998
15 years 6 months ago
1998
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
199
click to vote
APSCC
2009
IEEE
16 years 1 months ago
2009
IEEE
— We describe a model-driven translation approach between Semantic Web Service based business process models in the context of the SUPER project. In SUPER we provide a set of bus...
218
click to vote
PRIMA
2009
Springer
16 years 1 months ago
2009
Springer
Service-Oriented Architectures (SOA) provide infrastructures to make resources available to other participants in the network as independent services. However, service providers, n...