2271 search results - page 309 / 455 » Scalable Software Libraries |
147
Voted
GCC
2005
Springer
15 years 9 months ago
2005
Springer
Meta modeling is an effective approach to implement interoperability among distributed and heterogeneous information sources on Web. MMFI (Framework for Metamodel Interoperability)...
124
Voted
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
125
Voted
CSL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...
120
Voted
DSN
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— Reliable point-to-point communication is usually achieved in overlay networks by applying TCP/IP on the end nodes of a connection. This paper presents an hopby-hop reli...
116
Voted
PDP
2003
IEEE
15 years 9 months ago
2003
IEEE
: In this paper the problem of educational resource management in a cooperative learning environment is discussed. A task model was elaborated to determine both functional and leve...