1728 search results - page 227 / 346 » Formal Modeling of Process Migration |
150
Voted
TIME
2006
IEEE
15 years 9 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
182
Voted
AGTIVE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
178
click to vote
SEW
2006
IEEE
15 years 9 months ago
2006
IEEE
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...
139
click to vote
DFG
2004
Springer
15 years 6 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...
110
click to vote
ICWS
2009
IEEE
16 years 3 days 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...