2493 search results - page 210 / 499 » Tool Support for Design by Contract |
185
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Providing instructions via handheld prompters holds much promise for supporting independence for persons with cognitive disabilities. Because users of these tools are paired ? car...
162
click to vote
SPIRE
1999
Springer
15 years 10 months ago
1999
Springer
Collaborative Virtual Environments (CVE) support the collaboration, communication and social interaction among users in virtual spaces. In this paper we present a customizable CVE...
187
click to vote
DATE
1997
IEEE
15 years 10 months ago
1997
IEEE
In modern computer systems the performance is dominated by the memory performance. Currently, there is neither a systematic design methodology nor a tool for the design of memory ...
177
click to vote
VIS
2009
IEEE
16 years 7 months ago
2009
IEEE
Nucleation phenomena play a pivotal role in many atmospheric and technological processes. However, understanding atmospheric nucleation processes has been difficult due to the lac...
178
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...