2004 search results - page 297 / 401 » Comparison of Model Checking Tools for Information Systems |
132
Voted
WABI
2009
Springer
15 years 6 months ago
2009
Springer
Background: Frameshift mutations in protein-coding DNA sequences produce a drastic change in the resulting protein sequence, which prevents classic protein alignment methods from ...
INFOVIS
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper, we focus on some of the key design decisions we faced during the process of architecting a visualization system and present some possible choices, with their associ...
TVCG
2010
14 years 10 months ago
2010
As data sources become larger and more complex, the ability to effectively explore and analyze patterns amongst varying sources becomes a critical bottleneck in analytic reasoning...
CAISE
2004
Springer
15 years 5 months ago
2004
Springer
Automation and integration of business processes are at the heart of contemporary enterprise systems. In the pursuit of this goal, process automation technology is employed at vary...
117
click to vote
GIS
2010
ACM
14 years 6 months ago
2010
ACM
With the prevalence of car navigation systems, indoor navigation systems are increasingly attracting attention in the indoor research area. However, the available models for indoo...