Sciweavers

2620 search results - page 313 / 524
» Qualities in Possible Worlds
Sort
View
TOPLAS
1998
133views more  TOPLAS 1998»
15 years 6 months ago
A Systematic Study of Functional Language Implementations
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
Rémi Douence, Pascal Fradet
TPLP
2002
99views more  TPLP 2002»
15 years 6 months ago
Using Methods of Declarative Logic Programming for Intelligent Information Agents
At present, the search for specific information on the World Wide Web is faced with several problems, which arise on the one hand from the vast number of information sources avail...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
PE
2007
Springer
137views Optimization» more  PE 2007»
15 years 6 months ago
A prediction method for job runtimes on shared processors: Survey, statistical analysis and new avenues
Grid computing is an emerging technology by which huge numbers of processors over the world create a global source of processing power. Their collaboration makes it possible to pe...
Menno Dobber, Robert D. van der Mei, Ger Koole
HCSE
2010
15 years 5 months ago
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets
Abstract. The user experience of ubiquitous environments is a determining factor in their success. The characteristics of such systems must be explored as early as possible to anti...
José Luís Silva, Óscar R. Rib...
ICSOC
2010
Springer
15 years 5 months ago
Service Discovery Using Communication Fingerprints
A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compati...
Olivia Oanea, Jan Sürmeli, Karsten Wolf