1228 search results - page 41 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
104
click to vote
ACMIDC
2009
15 years 1 months ago
2009
In this paper, we present Wi-swing, a case study approach in designing a networked playground for children located in a public garden. The approach adopted in the case study is ba...
ICFEM
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
103
click to vote
ICECCS
1998
IEEE
15 years 2 months ago
1998
IEEE
Software architecture is receiving increasingly attention as a critical design level for software systems. As software architecture design resources (in the form of architectural ...
ASAP
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...
COOTS
1997
14 years 11 months ago
1997
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...