10038 search results - page 1893 / 2008 » Model Checking for Managers |
132
Voted
JAC
2008
15 years 2 months ago
2008
Cellular automata are a simple model of parallel computation. Many people wonder about the computing power of such a model. Following an idea of S. Wolfram [16], M. Cook [3] has pr...
100
click to vote
SCS
2003
15 years 2 months ago
2003
The decomposition of complex systems into manageable parts is an essential principle when dealing with complex technical systems. However, many safety and reliability modelling te...
124
click to vote
APWEB
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Information sharing on distributed collaboration usually occurs in broad, highly dynamic network-based environments, and formally accessing the resources in a secure mann...
111
Voted
CIDR
2009
15 years 1 months ago
2009
Recent research in domain-independent information extraction holds the promise of an automatically-constructed structured database derived from the Web. A query system based on th...
107
click to vote
BMCBI
2008
15 years 26 days ago
2008
Background: Two problems complicate the study of selection in viral genomes: Firstly, the presence of genes in overlapping reading frames implies that selection in one reading fra...