Sciweavers

136 search results - page 17 / 28
» Event Structure Semantics of Orc
Sort
View
CDC
2009
IEEE
115views Control Systems» more  CDC 2009»
14 years 9 days ago
Qualitative diagnosability of labeled petri nets revisited
Abstract— In recent years, classical discrete event fault diagnosis techniques have been extended to Petri Net system models under partial order semantics [8], [9], [13]. In [14]...
Stefan Haar
EPK
2006
84views Management» more  EPK 2006»
13 years 9 months ago
Using BPEL Processes defined by Event-driven Process Chains
Abstract: The paper discusses the usability concept of workflow services for eventdriven process chains. Usability is similar to controllability, known from Workflow net based BPEL...
Carlo Simon, Jörn Freiheit, Sebastian Olbrich
EMSOFT
2005
Springer
14 years 1 months ago
Semantics-based optimization across uncoordinated tasks in networked embedded systems
Microservers are networked embedded devices that accept user tasks on demand and execute them on real world information collected by sensors. Sharing intermediate sensing and comp...
Jie Liu, Elaine Cheong, Feng Zhao
POPL
2007
ACM
14 years 8 months ago
Semantics of static pointcuts in aspectJ
In aspect-oriented programming, one can intercept events by writing patterns called pointcuts. The pointcut language of the most popular aspect-oriented programming language, Aspe...
Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, O...
AGTIVE
2007
Springer
14 years 1 months ago
Programmed Graph Rewriting with DEVS
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
Eugene Syriani, Hans Vangheluwe