1728 search results - page 104 / 346 » Formal Modeling of Process Migration |
110
click to vote
MAS
1998
Springer
15 years 3 months ago
1998
Springer
In mobile agent systems, program code together with some process state can autonomously migrate to new hosts. Despite its many practical benefits, mobile agent technology results i...
AIED
2005
Springer
15 years 4 months ago
2005
Springer
Qualitative Reasoning (QR) formalisms provide ontological primitives for capturing conceptual knowledge. Recently QR-based diagrammatic tools are being developed to support learne...
BPM
2010
Springer
15 years 7 days ago
2010
Springer
The processing of data is often restricted by contractual and legal requirements for protecting privacy and IPRs. Policies provide means to control how and by whom data is processe...
102
click to vote
AIME
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...
ICFEM
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...