11168 search results - page 305 / 2234 » Abstract State Processes |
185
Voted
OTM
2007
Springer
16 years 1 months ago
2007
Springer
Existing approaches for the processing of location-dependent queries implicitly assume location data expressed at maximum precision (e.g., GPS). However, there exist applications w...
213
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
In the literature there are several CCS-like process calculi differing in the constructs for the specification of infinite behavior and in the scoping rules for channel names. In t...
181
click to vote
ICWS
2007
IEEE
15 years 8 months ago
2007
IEEE
Service composition has become an important paradigm for building distributed applications and e-business processes. While effort has been reported to verify a posteriori whether ...
208
Voted
RSS
2007
15 years 8 months ago
2007
— In probabilistic mobile robotics, the development of measurement models plays a crucial role as it directly influences the efficiency and the robustness of the robot’s perf...
179
click to vote
PSB
2004
15 years 8 months ago
2004
Gene expression of a cell is controlled by sophisticated cellular processes. The capability of inferring the states of these cellular processes would provide insight into the mech...