8555 search results - page 1381 / 1711 » Property Based Coordination |
171
click to vote
ADBIS
2005
Springer
16 years 11 days ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
193
click to vote
ADHOCNOW
2005
Springer
16 years 11 days ago
2005
Springer
We present the Ad-hoc On-demand Secure Routing (AOSR) protocol, which uses pairwise shared keys between pairs of mobile nodes and hash values keyed with them to verify the validity...
214
click to vote
AIIA
2005
Springer
16 years 11 days ago
2005
Springer
In traditional classification setting, training data are represented as a single table, where each row corresponds to an example and each column to a predictor variable or the targ...
168
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
156
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
We motivate an approach to evaluating the utility of synthetic agents that is based on human physiology rather than questionnaires. The primary tool is an eye tracker that provide...