1054 search results - page 25 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
ENTCS
2006
13 years 7 months ago
2006
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
CORR
2012
Springer
12 years 3 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
MIR
2004
ACM
14 years 24 days ago
2004
ACM
For describing and analyzing digital images of paintings we propose a model to serve as the basis for an interactive image retrieval system. The model defines two types of feature...
SEFM
2006
IEEE
14 years 1 months ago
2006
IEEE
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
CAISE
2008
Springer
13 years 9 months ago
2008
Springer
Model-driven engineering is at the forefront among recent attempts to information systems development. Models are gradually refined from domain specific descriptions to more concre...