5433 search results - page 835 / 1087 » Tool Support for Traceability-Adaptation |
184
click to vote
ASPDAC
2004
ACM
16 years 4 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...
181
click to vote
CSCW
2004
ACM
16 years 4 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...
166
click to vote
DOLAP
2004
ACM
16 years 4 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...
175
click to vote
IMC
2004
ACM
16 years 4 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...
144
click to vote
IUI
2004
ACM
16 years 4 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...