504 search results - page 15 / 101 » Modular System Development with Pullbacks |
117
Voted
APN
2003
Springer
15 years 7 months ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
152
click to vote
SCS
2003
15 years 3 months ago
2003
This paper describes a method for performing safety analysis on an Integrated Modular Avionics system in a manner which supports the incremental development and change of system c...
117
click to vote
CHI
2004
ACM
16 years 2 months ago
2004
ACM
A new interactive floorspace has been developed which uses modular nodes connected together to create a pressuresensitive area of varying size and shape, giving it the potential t...
123
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
108
Voted
ICRA
2002
IEEE
15 years 7 months ago
2002
IEEE
—Binary robotic devices with large degrees of freedom have been proposed by a number of researchers. However, experimental implementations of these concepts have been built with ...