3828 search results - page 127 / 766 » Proof-Based System Engineering Using a Virtual System Model |
135
Voted
UIST
2003
ACM
15 years 10 months ago
2003
ACM
We describe a novel interface for presenting interactive content on public digital bulletin boards. Inspired by paper fliers on physical bulletin boards, posted content is display...
177
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
145
Voted
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
We present the design of a computation engine for a real-time laparoscopic surgery simulator. Since this simulator requires realistic real-time and real-world behaviour, a physica...
177
click to vote
ECBS
1999
IEEE
15 years 9 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
184
click to vote
CIBSE
2008
ACM
15 years 7 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...