1228 search results - page 71 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
163
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
We describe techniques for direct pen+touch input. We observe people's manual behaviors with physical paper and notebooks. These serve as the foundation for a prototype Micro...
187
click to vote
BCS
2008
15 years 7 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
122
click to vote
QEST
2007
IEEE
16 years 18 days ago
2007
IEEE
—MOQA is a language specifically designed to facilitate average-case execution time analysis. It incorporates some innovative techniques to make this possible. Following on from...
159
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper presents an experimental immersive interface for designing DNAcomponents for application in nanotechnology. While much research has been done on immersive visualization...
187
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...