878 search results - page 93 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
283
click to vote
AMEC
2004
Springer
15 years 11 months ago
2004
Springer
In many two-sided search applications, autonomous agents can enjoy the advantage of parallel search, powered by their ability to handle an enormous amount of information, in a shor...
197
click to vote
AMSTERDAM
2009
15 years 4 months ago
2009
An argument by Kratzer (2000) based on Schein (1986, 1993) does not conclusively show that events and thematic roles are necessary ingredients of the logical representation of natu...
180
click to vote
RTCSA
2008
IEEE
16 years 22 days ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
204
click to vote
TMC
2012
13 years 8 months ago
2012
—A number of protocols and mechanisms have been proposed to address the problem of initial secure key deployment in wireless networks. Most existing approaches work either with a...
172
click to vote
ENTCS
2006
15 years 6 months ago
2006
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...