1264 search results - page 1 / 253 » Towards Theory Translation |
DALT
2006
Springer
13 years 8 months ago
2006
Springer
Ontologies play a key role in agent communication and the emerging Semantic Web to define a vocabulary of concepts and their relationships. Different agents and web services may us...
TCS
1998
13 years 4 months ago
1998
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurren...
DESRIST
2009
Springer
13 years 7 months ago
2009
Springer
Online communities are increasingly important in modern social life. Yet, the diverse collection of guidelines that have directed online community design may not be keeping pace w...
PARA
2004
Springer
13 years 9 months ago
2004
Springer
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...
AOSD
2010
ACM
13 years 11 months ago
2010
ACM
Over the last five years, several systems have been proposed to take distribution into account in Aspect-Oriented Programming. While they appeared to be fruitful to develop or im...