402 search results - page 16 / 81 » XSACT: A Comparison Tool for Structured Search Results |
INFOVIS
2003
IEEE
14 years 23 days ago
2003
IEEE
Dynamic queries facilitate rapid exploration of information by real-time visual display of both query formulation and results. Dynamic query sliders are linked to the main visuali...
PDC
2004
ACM
14 years 28 days ago
2004
ACM
To compare the outcomes of participatory and user-centered contextual design, case study methods and the Activity Checklist derived from Activity Theory are used to analyze two sy...
CAV
2003
Springer
14 years 22 days ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
AOSE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
BMCBI
2004
13 years 7 months ago
2004
Background: Once specific genes are identified through high throughput genomics technologies there is a need to sort the final gene list to a manageable size for validation studie...