Sciweavers

6574 search results - page 369 / 1315
» Current Signatures: Application
Sort
View
AOSE
2007
Springer
16 years 29 days ago
Extending Gaia with Agent Design and Iterative Development
Abstract. Agent-oriented methodologies are an important means for constructing agent-based systems in a controlled repeatable form. However, agent-oriented methodologies have not r...
Jorge Gonzalez-Palacios, Michael Luck
BIRTHDAY
2007
Springer
16 years 29 days ago
Orderings and Constraints: Theory and Practice of Proving Termination
In contrast to the current general way of developing tools for proving termination automatically, this paper intends to show an alternative program based on using on the one hand t...
Cristina Borralleras, Albert Rubio
BTW
2007
Springer
123views Database» more  BTW 2007»
16 years 29 days ago
Matching Metamodels with Semantic Systems - An Experience Report
: Ontology and schema matching are well established techniques, which have been applied in various integration scenarios, e.g., web service composition and database integration. Co...
Gerti Kappel, Horst Kargl, Gerhard Kramler, Andrea...
HPCC
2007
Springer
16 years 28 days ago
Netgauge: A Network Performance Measurement Framework
This paper introduces Netgauge, an extensible open-source framework for implementing network benchmarks. The structure of Netstracts and explicitly separates communication patterns...
Torsten Hoefler, Torsten Mehlan, Andrew Lumsdaine,...
OOPSLA
2007
Springer
16 years 27 days ago
Lost in translation: formalizing proposed extensions to c#
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
Gavin M. Bierman, Erik Meijer, Mads Torgersen