461 search results - page 64 / 93 » Verifying parallel programs with dynamic communication struc... |
EDO
2005
Springer
14 years 27 days ago
2005
Springer
A distribution model for the new generation of component languages, which allows to plug required into provided interfaces, is presented together with the distributed component la...
ICDCS
2007
IEEE
14 years 1 months ago
2007
IEEE
— We introduce a virtual-node based mobile object tracking algorithm for mobile sensor networks, VINESTALK. The algorithm uses the Virtual Stationary Automata programming layer, ...
ACL
2009
13 years 5 months ago
2009
We investigate the task of unsupervised constituency parsing from bilingual parallel corpora. Our goal is to use bilingual cues to learn improved parsing models for each language ...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— In autonomous mobile ad hoc networks (MANET) where each user is its own authority, fully cooperative behaviors, such as unconditionally forwarding packets for each other or, ho...
MIDDLEWARE
2005
Springer
14 years 26 days ago
2005
Springer
Currently, the interest in Ambient Intelligence (or AmI) has increased exponentially due to the widespread use of portable devices. Users demand more and more functionality from t...