340 search results - page 37 / 68 » Model checking the composition of hypermedia design componen... |
RTSS
1998
IEEE
15 years 5 months ago
1998
IEEE
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...
AIEDAM
2008
15 years 1 months ago
2008
We describe a method for constructing a structural model of an unlabeled target two-dimensional line drawing by analogy to a known source model of a drawing with similar structure...
118
click to vote
CBSE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Workflow systems provide support for combining components to achieve a particular outcome. Various approaches from software engineering have been utilized within such sys...
117
click to vote
FASE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. To be able to build systems by composing a variety of components dynamically, adding and removing as required, is desirable. Unfortunately systems with evolving architect...
136
click to vote
FDL
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...