2060 search results - page 304 / 412 » The Composition of Event-B Models |
146
click to vote
FASE
2004
Springer
15 years 10 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...
150
Voted
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
Real world problems such as fire propagation prediction, can often be considered as a compositional combination of multiple, simple but coupled subproblems corresponding to analyt...
114
click to vote
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
Faceted classification allows one to model applications with complex classification hierarchies using orthogonal dimensions. Recent work has examined the use of faceted classi...
118
click to vote
ITC
2003
IEEE
15 years 10 months ago
2003
IEEE
Composite microsystems that integrate mechanical and fluidic components are fast emerging as the next generation of system-on-chip designs. As these systems become widespread in s...
127
click to vote
ITC
2003
IEEE
15 years 10 months ago
2003
IEEE
We present an efficient algorithm for identification of two-line bridges in combinational CMOS logic that narrows down the two-line bridge candidates based on tester responses for...