Sciweavers

1620 search results - page 179 / 324
» An Annotation-Based Framework for Parallel Computing
Sort
View
ICDCS
2000
IEEE
15 years 9 months ago
Multimedia Service Configuration and Reservation in Heterogeneous Environments
Widely deployed multimedia services are expected to accommodate clients in a highly heterogeneous environment. Clients of a multimedia service may vary greatly in processing and c...
Dongyan Xu, Duangdao Wichadakul, Klara Nahrstedt
REX
1991
15 years 9 months ago
From Timed to Hybrid Systems
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
Oded Maler, Zohar Manna, Amir Pnueli
EDOC
2008
IEEE
15 years 8 months ago
Model-Driven Development of a Mediation Service
Although service-oriented architectures offer real benefits when pursuing application integration and business flexibility, there are still no satisfactory solutions for dealing w...
Dick A. C. Quartel, Stanislav Pokraev, Rodrigo Man...
EUROPAR
2008
Springer
15 years 8 months ago
Auction Protocols for Resource Allocations in Ad-Hoc Grids
Abstract. Different auction-based approaches have been used to allocate resources in Grids, but none of them provide the design choice for a specific economic model while consideri...
Behnaz Pourebrahimi, Koen Bertels
170
Voted
MIDDLEWARE
2010
Springer
15 years 4 months ago
Automatically Generating Symbolic Prefetches for Distributed Transactional Memories
Abstract. Developing efficient distributed applications while managing complexity can be challenging. Managing network latency is a key challenge for distributed applications. We ...
Alokika Dash, Brian Demsky