1592 search results - page 157 / 319 » The state of the email address |
93
Voted
AINA
2004
IEEE
15 years 4 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...
112
click to vote
APN
2006
Springer
15 years 4 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 ...
118
Voted
BIRTHDAY
2006
Springer
15 years 4 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...
75
Voted
CAV
2006
Springer
15 years 4 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...
122
click to vote
EVOW
2004
Springer
15 years 4 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...