30240 search results - page 895 / 6048 » Robust System Design |
231
click to vote
DAC
1996
ACM
15 years 12 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
184
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
211
click to vote
DESRIST
2010
Springer
15 years 10 months ago
2010
Springer
This paper reports on the design of a collaborative system to support citizens' advisory services. Recent research on the adoption of collaborative technologies indicates that...
169
click to vote
BCSHCI
2007
15 years 9 months ago
2007
This paper briefly shows how product designers as well as information system designers may use the habitat framework as a tool to inform their understanding of the pervasive compu...
175
click to vote
NIPS
2003
15 years 9 months ago
2003
The design of cooperative multi-robot systems is a highly active research area in robotics. Two lines of research in particular have generated interest: the solution of large, wea...