2502 search results - page 405 / 501 » Using probabilistic model checking in systems biology |
158
Voted
DAGSTUHL
1997
15 years 5 months ago
1997
A realistic simulation system, which couples geometry and physics, can provide a useful toolkit for virtual environments. Interactions among moving objects in the virtual worlds a...
136
click to vote
PVLDB
2010
15 years 2 months ago
2010
Prediction is emerging as an essential ingredient for real-time monitoring, planning and decision support applications such as intrusion detection, e-commerce pricing and automate...
145
Voted
WORM
2003
15 years 5 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...
135
click to vote
EH
2005
IEEE
15 years 9 months ago
2005
IEEE
The hybrid redundancy structure found at the cellular level of higher animals provides complex organism with the three key features of a reliability-engineered system: fault toler...
130
click to vote
AAMAS
2007
Springer
15 years 4 months ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...