Sciweavers

8080 search results - page 1320 / 1616
» From Computer Networks to Agent Networks
Sort
View
ICECCS
2000
IEEE
135views Hardware» more  ICECCS 2000»
15 years 9 months ago
Definitions of Equivalence for Transformational Synthesis of Embedded Systems
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
166
Voted
CP
2000
Springer
15 years 9 months ago
New Search Heuristics for Max-CSP
Abstract. This paper evaluates the power of a new scheme that generates search heuristics mechanically. This approach was presented and evaluated rst in the context of optimization...
Kalev Kask
133
Voted
DEXA
2000
Springer
102views Database» more  DEXA 2000»
15 years 9 months ago
Extending the Re-use of Query Results at Remote Client Sites
In 'Associative Caching' each client computer keeps a copy of its query result sets in its own local database. The purpose is to reduce the size and frequency of queries ...
Jerome Robinson, Barry G. T. Lowden
ICMCS
1999
IEEE
107views Multimedia» more  ICMCS 1999»
15 years 9 months ago
Resource Negotiation for Collaborative Multimedia Presentations
Distributed multimedia documents systems, distributed video servers are examples of multimedia presentations involving collaboration among multiple information sources. In such ap...
B. Prabhakaran
RTAS
1996
IEEE
15 years 9 months ago
AIDA-based real-time fault-tolerant broadcast disks
The proliferation of mobile computers and wireless networks requires the design of future distributed real-time applications to recognize and deal with the signi cant asymmetry be...
Azer Bestavros
« Prev « First page 1320 / 1616 Last » Next »