2148 search results - page 189 / 430 » Responsiveness in Process Calculi |
WISE
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In this paper we propose a constraint based declarative approach for Web services composition and monitoring problem. Our apllows user to build the abstract composition b...
CEC
2009
IEEE
15 years 6 months ago
2009
IEEE
—Developing systems that support people in everyday life in a discrete and effective way is an ultimate goal of a new generation of technical systems. Physiological computing rep...
CSIE
2009
IEEE
15 years 6 months ago
2009
IEEE
Customers are usually passive in an electronic commerce transaction. Based on a new two times concurrent signature, this article presents a fair electronic payment (E-payment) pro...
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
—In this paper we propose a virtualization layer to handle the program execution on reconfigurable computers in order to address one of their biggest problems which is the manage...
VL
2009
IEEE
15 years 6 months ago
2009
IEEE
Source code on the web is a widely available and potentially rich learning resource for nonprogrammers. However, unfamiliar code can be daunting to end-users without programming e...