1301 search results - page 76 / 261 » Specifications via Realizability |
PROMS
2001
Springer
14 years 2 months ago
2001
Springer
A lot of attention has been given to network quality of service and efforts to make layers on top of the network also QoS-aware increase noticeably. This paper explores QoS-aware s...
ECTEL
2006
Springer
14 years 1 months ago
2006
Springer
We propose a mediator architecture that allows a learning system to retrieve learning objects from heterogeneous repositories. A mediating component accepts queries formulated in a...
ECIS
2000
13 years 11 months ago
2000
- The research effort on Electronic Patient Records (EPR's) has rapidly increased in the last decade. Much of this research focussed on standardisation and technical realizati...
CONCURRENCY
2004
13 years 10 months ago
2004
Distributed simulation applications often rely on middleware to provide services to support their execution over distributed computing environments. Such middleware spans many lev...
IPPS
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--The expression of parallel codes through abstract, high-level specifications of global control and data flow can greatly simplify the task of creating large parallel prog...