511 search results - page 47 / 103 » Finite System Composition and Interaction |
EMSOFT
2006
Springer
14 years 14 days ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
ICEBE
2007
IEEE
14 years 20 days ago
2007
IEEE
The service mediation that decouples service interactions is the foundation to support the service composition. The early service mediations are keyword and value-based, which req...
FPL
1999
Springer
14 years 1 months ago
1999
Springer
This paper details the development, implementation, and results of Synthia, a system for the synthesis of Finite State Machines (FSMs) to field-programmable logic. Our approach us...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
INFORMATICALT
2008
13 years 8 months ago
2008
In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components....