2004 search results - page 379 / 401 » Comparison of Model Checking Tools for Information Systems |
97
Voted
NAR
2006
14 years 11 months ago
2006
The PUMA2 system (available at http://compbio.mcs. 10 anl.gov/puma2) is an interactive, integrated bioinformatics environment for high-throughput genetic sequence analysis and met...
122
click to vote
LOCA
2007
Springer
15 years 5 months ago
2007
Springer
In this paper we present an approach to analyzing the social behaviors that occur in a typical office space. We describe a system consisting of over 200 motion sensors connected ...
100
click to vote
IDMS
1997
Springer
15 years 3 months ago
1997
Springer
With the evolving availability of wireless communication servicesand of affordable mobile devices such as notebooks or Personal Digital Assistants, mobile computing is becoming wid...
101
click to vote
BMCBI
2007
14 years 12 months ago
2007
Background: Detailed information on DNA-binding transcription factors (the key players in the regulation of gene expression) and on transcriptional regulatory interactions of micr...
SIGMETRICS
2008
ACM
14 years 11 months ago
2008
ACM
Despite significant efforts to obtain an accurate picture of the Internet's actual connectivity structure at the level of individual autonomous systems (ASes), much has remai...