2050 search results - page 290 / 410 » A formal foundation for process modeling |
204
click to vote
DFG
2004
Springer
15 years 10 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
171
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
This paper proposes a model-based technique for lowering the entrance barrier for service providers to register services with a marketplace broker, such that the service is rapidl...
178
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...
189
click to vote
FOAL
2009
ACM
16 years 1 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
143
click to vote
TGC
2007
Springer
16 years 26 days ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...