769 search results - page 33 / 154 » Simple Composition of Nets |
ENTCS
2006
13 years 7 months ago
2006
Recently, encodings in interaction nets of the call-by-name and call-by-value strategies of the -calculus have been proposed. The purpose of these encodings was to he gap between ...
ESANN
2003
13 years 9 months ago
2003
: -RetinotopicNET is an efficient simulator for neural networks with retinotopic-like receptive fields. The system has two main characteristics: it is event-driven and it takes adv...
APN
2009
Springer
14 years 2 months ago
2009
Springer
Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given Quality of Service (QoS...
APN
2003
Springer
14 years 25 days ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
AUTOMATICA
2010
13 years 6 months ago
2010
In this paper we present an efficient approach for the fault detection of discrete event systems using Petri nets. We assume that some of the transitions of the net are unobservabl...