Sciweavers

3689 search results - page 541 / 738
» A Language with Distributed Scope
Sort
View
FORTE
2003
15 years 4 months ago
Behavioural Contracts for a Sound Assembly of Components
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
Cyril Carrez, Alessandro Fantechi, Elie Najm
264
Voted
TREC
2004
15 years 4 months ago
Indri at TREC 2004: Terabyte Track
This paper provides an overview of experiments carried out at the TREC 2004 Terabyte Track using the Indri search engine. Indri is an efficient, effective distributed search engin...
Donald Metzler, Trevor Strohman, Howard R. Turtle,...
122
Voted
AAAI
2000
15 years 4 months ago
Dynamic Ontologies on the Web
We discuss the problems associated with managing ontologies in distributed environments such as the Web. The Web poses unique problems for the use of ontologies because of the rap...
Jeff Heflin, James A. Hendler
SERP
2003
15 years 4 months ago
Specification of an Online Advisement System
This paper outlines the motivation for, and the development of, an online advisement scheduling system, OASIS, which will be used in the Computer Science Department at the Univers...
Christian Rayburn, James Hays, Bryan Phillips, Fre...
SFP
2003
15 years 4 months ago
Implementing Mobile Haskell
Abstract: Mobile computation enables computations to move between a dynamic set of locations, and is becoming an increasingly important paradigm. mHaskell is an extension of Haskel...
André Rauber Du Bois, Philip W. Trinder, Ha...