769 search results - page 86 / 154 » Simple Composition of Nets |
LREC
2008
13 years 9 months ago
2008
Notwithstanding its acknowledged richness, the SIMPLE semantic model does not offer the representational vocabulary for encoding some conceptual links holding between events and t...
ENTCS
2007
13 years 7 months ago
2007
Service oriented computing is an emerging paradigm for programming distributed applications based on services. Services are simple software elements that supply their functionalit...
DAC
2000
ACM
14 years 8 months ago
2000
ACM
A dynamic noise model is developed and applied to analyze the noise immunity of precharge-evaluate circuits. Considering that the primary source of noise-injection in the circuit ...
ICALP
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. We describe a simple, conceptual forward analysis procedure for complete WSTS S. This computes the clover of a state s0, i.e., a finite description of the closure of the ...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— This paper investigates how to generate cyclic gaits for multi-bodied isolated mechanical systems whose configuration space is represented by a trivial fiber bundle. We descr...