361 search results - page 10 / 73 » A compositional approach to statecharts semantics |
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Web services composition is becoming increasingly important as organizations are now getting ready to provide more complex service-based applications. Contemporary literature on t...
CCGRID
2007
IEEE
14 years 3 months ago
2007
IEEE
The successful execution of workflows using mobile services is dependant on the services behaving as expected. The management of this behaviour in Akogrimo is achieved by a contex...
COMPOS
1997
Springer
14 years 27 days ago
1997
Springer
JLP
2010
13 years 3 months ago
2010
The aim of the paper is to give a formal compositional semantics for Spiking Neural P systems (SNP systems) by following the Structural Operational Semantics (SOS) approach. A pro...
VL
2005
IEEE
14 years 2 months ago
2005
IEEE
Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In ...