2243 search results - page 310 / 449 » Contracts for Mobile Processes |
160
click to vote
IJCAI
2001
15 years 7 months ago
2001
Anchoring is the process of creating and maintaining the correspondence between symbols and percepts that refer to the same physical objects. Although this process must necessaril...
182
click to vote
MASCOTS
2003
15 years 7 months ago
2003
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...
161
click to vote
AAAI
2000
15 years 7 months ago
2000
Anchoring is the process of creating and maintaining the correspondence between symbols and percepts that refer to the same physical objects. Although this process must necessaril...
160
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...
147
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
In the EMIME project, we are developing a mobile device that performs personalized speech-to-speech translation such that a user’s spoken input in one language is used to produc...