2502 search results - page 221 / 501 » Using probabilistic model checking in systems biology |
135
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents an agent model of the dynamics of a human’s functional state in relation to task performance and environment. It can be used in agent systems that support hu...
192
click to vote
NOSSDAV
2009
Springer
16 years 1 months ago
2009
Springer
Peer-to-peer distributed virtual environments (DVE's) distribute state tracking and state transitions. Many DVE's - such as online games - require ways to fairly determi...
190
click to vote
ASM
2010
ASM
15 years 10 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
176
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Artificial Immune Systems (AISs) are biologically inspired problem solvers that have been used successfully as intrusion detection systems (IDSs). This paper describes how the des...
170
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...