5433 search results - page 835 / 1087 » Tool Support for Traceability-Adaptation |
209
click to vote
ASPDAC
2004
ACM
16 years 21 days ago
2004
ACM
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...
193
click to vote
CSCW
2004
ACM
16 years 21 days ago
2004
ACM
The growing use of Instant Messaging for social and work-related communication has created a situation where incoming messages often become a distraction to users while they are p...
179
click to vote
DOLAP
2004
ACM
16 years 21 days ago
2004
ACM
Nowadays, decision support systems are evolving in order to handle complex data. Some recent works have shown the interest of combining on-line analysis processing (OLAP) and data...
192
click to vote
IMC
2004
ACM
16 years 21 days ago
2004
ACM
There has been much work on developing techniques for estimating the capacity and the available bandwidth of network paths based on end-point measurements. The focus has primarily...
164
click to vote
IUI
2004
ACM
16 years 21 days ago
2004
ACM
With the advent of in-home networking and ubiquitous computing, it becomes apparent that we have an increasing need for automatic adaptation of user interfaces to different device...