Sciweavers

638 search results - page 84 / 128
» Animation modeling with petri nets
Sort
View
FORTE
2004
15 years 5 months ago
PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application
Abstract. We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF T...
Stephen Gilmore, Valentin Haenel, Jane Hillston, L...
ZEUS
2010
200views Communications» more  ZEUS 2010»
15 years 6 months ago
Mapping interconnection choreography models to interaction choreography models
Choreographies offer a global view on interacting processes. There are two ways to capture this global view: interaction models and interconnection models. Although there is a mapp...
Oliver Kopp, Frank Leymann, Fei Wu 0002
ER
2000
Springer
136views Database» more  ER 2000»
15 years 8 months ago
Business Modelling Is Not Process Modelling
Innovative e-business projects start with a design of the e-business model. We often encounter the view, in research as well as industry practice, that an e-business model is simil...
Jaap Gordijn, Hans Akkermans, Hans van Vliet
INFORMATICALT
2010
138views more  INFORMATICALT 2010»
15 years 1 months ago
Recognition of Human Emotions in Reasoning Algorithms of Wheelchair Type Robots
This paper analyses the possibilities of integrating different technological and knowledge representation techniques for the development of a framework for the remote control of mu...
Dale Dzemydiene, Antanas Andrius Bielskis, Arunas ...
ADC
2005
Springer
104views Database» more  ADC 2005»
15 years 10 months ago
Dynamic Restructuring of Recovery Nets
A Self-Adaptive Recovery Net (SARN) is an extended Petri net model for specifying exceptional behavior in workflow systems. SARN caters for high-level recovery policies that are ...
Rachid Hamadi, Boualem Benatallah