3729 search results - page 397 / 746 » On Formal Modeling of Agent Computations |
207
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
155
click to vote
ICCS
2003
Springer
16 years 17 hour ago
2003
Springer
Abstract. Although current programming models provide adequate performance, many prove inadequate to support the effective development of efficient Grid applications. Many of the ...
202
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
Rodents possess extraordinary navigation abilities that are far in excess of what current state-of-the-art robot agents are capable of. This paper describes research that is part ...
160
click to vote
SI3D
2010
ACM
16 years 3 days ago
2010
ACM
Path planning is an active topic in the literature, and efficient navigation over non-planar surfaces is an open research question. In this work we present a novel technique for ...
229
click to vote
LCN
2008
IEEE
16 years 1 months ago
2008
IEEE
—Carrier Sense Multiple Access (CSMA) protocols in Multi-hop Wireless Networks (MHWN) are known to suffer from different forms of the hidden and exposed terminal problems, leadin...