2810 search results - page 70 / 562 » Contract-Based Component System Design |
ICRA
2006
IEEE
15 years 5 months ago
2006
IEEE
— Robots are increasingly being used in Computer Integrated Surgery (CIS) systems, yet to our knowledge, there is no open source software that is specifically targeted at this a...
111
click to vote
ISORC
1999
IEEE
15 years 3 months ago
1999
IEEE
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
PERCOM
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we report on a user-centered, iterative design process for augmenting sports equipment with ubiquitous computing technology. In several design iterations, a fully w...
MSE
2003
IEEE
15 years 4 months ago
2003
IEEE
This paper describes a custom design approach as applied to power management in an innovative course on rapid prototyping of computer systems at Carnegie Mellon. We emphasize the ...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...