Sciweavers

1032 search results - page 74 / 207
» Implementing a Register in a Dynamic Distributed System
Sort
View
DAC
2006
ACM
16 years 5 months ago
Predicate learning and selective theory deduction for a difference logic solver
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
Chao Wang, Aarti Gupta, Malay K. Ganai
ICDE
1999
IEEE
117views Database» more  ICDE 1999»
16 years 6 months ago
Semantic Brokering over Dynamic Heterogeneous Data Sources in InfoSleuth
InfoSleuth1is an agent-based system for information discovery and retrieval in a dynamic, open environment. This paper discusses InfoSleuth's multibroker design and implement...
Marian H. Nodine, William Bohrer, Anne H. H. Ngu
CCGRID
2009
IEEE
15 years 9 months ago
Dynamic Provisioning of Virtual Organization Clusters
Virtual Organization Clusters are systems comprised of virtual machines that provide dedicated computing clusters for each individual Virtual Organization. The design of these clu...
Michael A. Murphy, Brandon Kagey, Michael Fenn, Se...
NCA
2005
IEEE
15 years 10 months ago
Self-organization in Cooperative Content Distribution Networks
Traditional client-server content distribution techniques usually suffer from scalability problems when dealing with large client population or sizable content. The advent of peer...
Marc Schiely, Lars Renfer, Pascal Felber
ACMSE
1995
ACM
15 years 8 months ago
Database management for multimedia distributed collaborative writing
{ Traditional computer applications have been designed to be run by one user at a time who does some work in a single medium, such as ASCII text, and very little regard has been gi...
A. Wesley Wear, Yu Gong, Kai H. Chang