291 search results - page 5 / 59 » Interface Input Output Automata |
SFP
2003
15 years 2 months ago
2003
Abstract Hume is a domain-specific programming language targeting resourcebounded computations. It is based on generalised concurrent bounded automata, controlled by transitions c...
106
Voted
ENTCS
2006
15 years 1 months ago
2006
Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in componentbased systems, we ...
81
Voted
VLSID
2004
IEEE
16 years 1 months ago
2004
IEEE
Recent developments in embedded systems technology have opened up a vast area of research and development- the development of portable and affordable assistive devices tuned to sp...
117
Voted
SBCCI
2006
ACM
15 years 7 months ago
2006
ACM
The design of a low-power differential switched-capacitor amplifier for processing a fully-differential input signal coming from a pressure sensor interface is reported. The circu...
98
Voted
CONCUR
2010
Springer
15 years 2 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...