587 search results - page 37 / 118 » A Formal Framework for Developing Adaptable Service-Based Ap... |
WWW
2006
ACM
14 years 9 months ago
2006
ACM
Paper plays a crucial role in many developing world information practices. However, paper-based records are inefficient, error-prone and difficult to aggregate. Therefore we need ...
AO
2006
13 years 8 months ago
2006
Large software systems are modularized in order to improve manageability. The parts of the software system communicate in order to achieve the desired functionality. To better und...
HPDC
1998
IEEE
14 years 1 months ago
1998
IEEE
Heterogeneous network-based systems are emerging as attractive computing platforms for HPC applications. This paper discusses fundamental research issues that must be addressed to...
COMPSAC
1998
IEEE
14 years 1 months ago
1998
IEEE
A major problem in the development of distributed applications is that we cannot assume that the environment in which the application is to operate will remain the same. This mean...
TPHOL
1998
IEEE
14 years 1 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...