Sciweavers

3142 search results - page 376 / 629
» Applied ontology issues
Sort
View
179
Voted
SAC
2005
ACM
16 years 9 days ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
SAC
2005
ACM
16 years 9 days ago
A distributed content-based search engine based on mobile code
Current search engines crawl the Web, download content, and digest this content locally. For multimedia content, this involves considerable volumes of data. Furthermore, this proc...
Volker Roth, Ulrich Pinsdorf, Jan Peters
SC
2005
ACM
16 years 9 days ago
DI-GRUBER: A Distributed Approach to Grid Resource Brokering
Managing usage service level agreements (USLAs) within environments that integrate participants and resources spanning multiple physical institutions is a challenging problem. Mai...
Catalin Dumitrescu, Ioan Raicu, Ian T. Foster
175
Voted
SC
2005
ACM
16 years 9 days ago
Scheduling speculative tasks in a compute farm
Users often behave speculatively, submitting work that initially they do not know is needed. Farm computing often consists of single node speculative tasks issued by, e.g., bioinf...
David Petrou, Garth A. Gibson, Gregory R. Ganger
BIRTHDAY
2005
Springer
16 years 8 days ago
Natural Language Proof Explanation
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
Armin Fiedler