1407 search results - page 198 / 282 » Towards Usable Analysis, Design and Modeling Tools |
180
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents a judgement and decision making analysis of collaborative problem solving. This analysis is done with respect to the Raven and CoRaven decision-making tools fo...
158
click to vote
MODELS
2007
Springer
16 years 5 days ago
2007
Springer
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we...
142
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
158
click to vote
PG
2000
IEEE
15 years 10 months ago
2000
IEEE
Recent years have witnessed dramatic growth in the use of subdivision schemes for graphical modeling and animation, especially for the representation of smooth, oftentimes complex...
147
click to vote
IEEEPACT
2006
IEEE
16 years 2 days ago
2006
IEEE
Modeling and analysis of program behavior are at the foundation of computer system design and optimization. As computer systems become more adaptive, their efficiency increasingly...