2661 search results - page 276 / 533 » Model Checking Performability Properties |
92
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
Modeling dynamical systems composed of aggregations of primitive proteins is critical to the field of astrobiological science, which studies early evolutionary structures dealing ...
103
Voted
CMSB
2007
Springer
15 years 7 months ago
2007
Springer
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...
116
click to vote
IMC
2006
ACM
15 years 6 months ago
2006
ACM
Understanding the characteristics of the Internet delay space (i.e., the all-pairs set of static round-trip propagation delays among edge networks in the Internet) is important fo...
102
click to vote
SPAA
2005
ACM
15 years 6 months ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
109
Voted
IROS
2006
IEEE
15 years 6 months ago
2006
IEEE
- This paper presents a three-layer model for generation and recognition of attention-drawing behavior. The model enables a robot to recognize people’s attention-drawing behavior...