1592 search results - page 157 / 319 » The state of the email address |
AINA
2004
IEEE
14 years 2 months ago
2004
IEEE
This paper proposes an architectural framework for integrating services within an enterprise and accessing them from mobile devices in a pervasive-computing environment. Present n...
APN
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...
BIRTHDAY
2006
Springer
14 years 2 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
CAV
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
EVOW
2004
Springer
14 years 2 months ago
2004
Springer
A novel approach for sensor planning, which incorporates multi-objective optimization principals into the autonomous design of sensing strategies, is presented. The study addresses...