287 search results - page 35 / 58 » A Lightweight Formal Framework for Service-Oriented Applicat... |
HIKM
2006
ACM
14 years 1 months ago
2006
ACM
The increasing complexity of clinical trials has generated an enormous requirement for knowledge and information specification at all stages of the trials, including planning, doc...
SERA
2010
Springer
13 years 6 months ago
2010
Springer
Abstract—With the growing complexity of software applications, there is an increasing demand for solutions to distribute workload into server pools. Grid Computing provides power...
CADE
2000
Springer
14 years 2 days ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
SIGCOMM
2004
ACM
14 years 1 months ago
2004
ACM
This paper presents the design of Mercury, a scalable protocol for supporting multi-attribute rangebased searches. Mercury differs from previous range-based query systems in that...
DAGSTUHL
2006
13 years 9 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...