3161 search results - page 290 / 633 » Documenting framework behavior |
198
click to vote
LPAR
2007
Springer
16 years 26 days ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
167
click to vote
SEFM
2006
IEEE
16 years 22 days ago
2006
IEEE
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
156
click to vote
ICRA
2005
IEEE
16 years 10 days ago
2005
IEEE
— We propose a dynamics model of galvanotaxis (locomotor response to electrical stimulus) of the protozoan Paramecium. Our purpose is to utilize microorganisms as microrobots by ...
159
click to vote
DAMAS
2005
Springer
16 years 8 days ago
2005
Springer
ct Emotion is an essential element of human behavior. Particularly in stressful situations such as combat, it is at least as important as rational analysis in determining a partici...
207
click to vote
HYBRID
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The problem of synthesizing feedback controllers that perform sensing and actuation actions on non–uniform and uncertain discrete time domains is considered. This class...