5964 search results - page 400 / 1193 » A theory of speculative computation |
193
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we introduce a formal-language model for explicitly formalizing agent-environment interaction in a multiagent systems (MAS) framework: Conversational Grammar System...
207
click to vote
MOBIWAC
2006
ACM
16 years 1 months ago
2006
ACM
Convergecast is a fundamental operation in wireless sensor networks. Existing convergecast solutions have focused on reducing latency and energy consumption. However, a good desig...
186
click to vote
BIRTHDAY
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
299
click to vote
SEAAI
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In the past, some information technologies (IT) have quickly been adopted by the engineering practice while the implementation of others has been slower. In the paper, th...
180
Voted
RANDOM
1997
Springer
15 years 11 months ago
1997
Springer
Most research on resource-bounded measure and randomness has focused on the uniform probability density, or Lebesgue measure, on {0, 1}∞ ; the study of resource-bounded measure ...