1323 search results - page 105 / 265 » Extended Modeling Languages for Interaction Protocol Design |
145
Voted
CAISE
2000
Springer
15 years 8 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...
146
Voted
ISMAR
2002
IEEE
15 years 8 months ago
2002
IEEE
This system paper reports on some of the advantages tangible interaction can bring to chemistry education. The paper describes the realisation of an in-house designed Tangible Use...
103
Voted
ENTCS
2008
15 years 3 months ago
2008
Control flow is often key problem in current web applications. For example, using the back button gives a POSTDATA error, using multiple windows books the wrong hotel, and sending...
170
Voted
ICFEM
2003
Springer
15 years 9 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
146
Voted
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...