4286 search results - page 130 / 858 » Formalizing Service Interactions |
191
click to vote
AH
2008
Springer
16 years 19 days ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
212
click to vote
SDL
2007
15 years 7 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
153
click to vote
MABS
2004
Springer
15 years 11 months ago
2004
Springer
Organizations depend on regular meetings to carry out their everyday tasks. When carried out successfully, meetings offer a common medium for participants to exchange ideas and mak...
180
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
132
click to vote
JETAI
2002
15 years 6 months ago
2002
We outline the rationale and preliminary results of using the State Context Property (SCOP) formalism, originally developed as a generalization of quantum mechanics, to describe t...