3729 search results - page 526 / 746 » On Formal Modeling of Agent Computations |
170
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—The synchronous model of computation together with a suitable execution platform facilitates system-level timing predictability. This paper introduces an algebraic framework for...
152
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...
163
click to vote
ICNP
2007
IEEE
16 years 26 days ago
2007
IEEE
- A Network Court Protocol is designed for malicious node conviction based on information from network node accusing and testifying operations, which are formally modeled by algebr...
165
click to vote
MMSEC
2006
ACM
16 years 16 days ago
2006
ACM
Two different approaches for constructing a steganographic channel in an IEEE 802.11 (WLAN) network are introduced in this paper. First test results on the reliability, undetectab...
168
click to vote
GW
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present an collaborative approach towards a detailed understanding of the usage of pointing gestures accompanying referring expressions. This effort is undertaken in t...