Sciweavers

639 search results - page 4 / 128
» A Finite State Mobile Agent Computation Model
Sort
View
NEUROSCIENCE
2001
Springer
15 years 9 months ago
Finite-State Computation in Analog Neural Networks: Steps towards Biologically Plausible Models?
Abstract. Finite-state machines are the most pervasive models of computation, not only in theoretical computer science, but also in all of its applications to real-life problems, a...
Mikel L. Forcada, Rafael C. Carrasco
CONCUR
2004
Springer
15 years 9 months ago
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
Antonín Kucera, Ph. Schnoebelen
BIRTHDAY
2008
Springer
15 years 7 months ago
Temporal Verification of Probabilistic Multi-Agent Systems
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of act...
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars ...
OPODIS
2001
15 years 6 months ago
Mobile agents: a suitable support for service provision in mobile computing environments
This paper aims to investigate the use of mobile agents for service provision in mobile computing environments. A quantitative model and experimental measurements are performed to ...
Ouahiba Fouial, Nadia Boukhatem, Isabelle M. Demeu...
UIST
2005
ACM
15 years 11 months ago
Physical embodiments for mobile communication agents
This paper describes a physically embodied and animated user interface to an interactive call handling agent, consisting of a small wireless animatronic device in the form of a sq...
Stefan Marti, Chris Schmandt