2050 search results - page 155 / 410 » A formal foundation for process modeling |
167
click to vote
DATE
2005
IEEE
16 years 4 days ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
151
click to vote
TPHOL
2005
IEEE
16 years 2 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
181
click to vote
INCDM
2010
Springer
15 years 10 months ago
2010
Springer
Hospitals increasingly use process models for structuring their care processes. Activities performed to patients are logged to a database but these data are rarely used for managin...
198
click to vote
IJSI
2008
15 years 6 months ago
2008
Abstract Commercial organizations increasingly need software processes sensitive to business value, quick to apply, supportive of multi-stakeholder collaboration, and capable of ea...
192
click to vote
BIRTHDAY
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a new model for mobile processes in occam-π. A process, embedded anywhere in a dynamically evolving network, may suspend itself mid-execution, be safely discon...