3082 search results - page 117 / 617 » Deviation Analysis: A New Use of Model Checking |
198
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Complete sequencing of bacterial genomes has become a common technique of present day microbiology. Thereafter, data mining in the complete sequence is an essential st...
187
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
197
click to vote
TREC
2007
15 years 7 months ago
2007
In this paper we describe Tokyo Institute of Technology’s attempt at the TREC2007 question answering (QA) track. Keeping the same theoretical QA model as for the TREC2006 task, ...
218
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
191
click to vote
DASC
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a new approach to ensure the secure execution of itinerary-driven mobile agents, in which the specification of the navigational behavior of an agent is separated from t...