2612 search results - page 65 / 523 » Mobile Processes and Termination |
PPDP
2005
Springer
14 years 1 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
CN
2004
13 years 7 months ago
2004
The problem of testing from an SDL specification is often complicated by the presence of infeasible paths. This paper introduces an approach for transforming a class of SDL specif...
IMR
2004
Springer
14 years 1 months ago
2004
Springer
In the finite element analysis that deals with large deformation, the process usually produces distorted elements at the later stages of the analysis. These distorted elements lea...
MMS
2008
13 years 7 months ago
2008
Nowadays, users not only want to watch digital videos on a PC but also use mobile devices to play back multimedia content. Video adaptation algorithms enable the visualization of ...
GIS
2009
ACM
14 years 13 days ago
2009
ACM
The in-network query processing paradigm in sensor networks postulates that a query is routed among sensors and collects the answers from the sensors on its trajectory. It works f...