5433 search results - page 391 / 1087 » Tool Support for Traceability-Adaptation |
197
click to vote
TVCG
2010
15 years 5 months ago
2010
Abstract—We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By separating specification from execution, declarativ...
189
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Asynchronous design has been the focus of renewed interest. However, a key bottleneck is the lack of high-quality CAD tools for the synthesis of large-scale systems which also all...
175
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
205
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
There are a variety of digital tools for enabling people who are physically separated by time and space to communicate and collaborate. Widespread use of some of these tools, such...
198
click to vote
HPCA
2005
IEEE
16 years 7 months ago
2005
IEEE
Memory leaks and memory corruption are two major forms of software bugs that severely threaten system availability and security. According to the US-CERT Vulnerability Notes Datab...