2850 search results - page 272 / 570 » On Timed Models and Full Abstraction |
185
click to vote
COORDINATION
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
273
click to vote
SIES
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
182
click to vote
COSIT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. I review theories and research on the cognitive processing of environmental distance information by humans, particularly that acquired via direct experience in the enviro...
201
click to vote
CSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Several applications have been proposed for Wireless sensor networks. These include habitat monitoring, structural health monitoring, pipeline (gas, water, and oil) mon...
216
click to vote
ARGMAS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...