4890 search results - page 274 / 978 » From system specifications to component behavioral models |
221
click to vote
BMCBI
2010
15 years 6 months ago
2010
nd: Gene regulatory network is an abstract mapping of gene regulations in living cells that can help to predict the system behavior of living organisms. Such prediction capability...
165
click to vote
NSDI
2008
15 years 9 months ago
2008
Large-scale network services can consist of tens of thousands of machines running thousands of unique software configurations spread across hundreds of physical networks. Testing ...
195
click to vote
ARCS
2004
Springer
16 years 4 days ago
2004
Springer
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
174
click to vote
JUCS
2002
15 years 6 months ago
2002
The main goal of this research is to improve Information Retrieval Systems by enabling them to generate search outcomes that are relevant and customized to each specific user. Our ...
188
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...