Sciweavers

10666 search results - page 1648 / 2134
» Quantum programming languages
Sort
View

Publication
139views
15 years 6 months ago
Separation of concerns in compiler development using aspect-orientation
A major difficulty in compiler development regards the proper modularization of concerns among the various compiler phases. The traditional object-oriented development paradigm ha...
LOGCOM
1998
126views more  LOGCOM 1998»
15 years 6 months ago
Engineering AgentSpeak(L): A Formal Computational Model
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...
Mark d'Inverno, Michael Luck
PVLDB
2008
134views more  PVLDB 2008»
15 years 6 months ago
Evita raced: metacompilation for declarative networks
Declarative languages have recently been proposed for many new applications outside of traditional data management. Since these are relatively early research efforts, it is import...
Tyson Condie, David Chu, Joseph M. Hellerstein, Pe...
VL
2010
IEEE
196views Visual Languages» more  VL 2010»
15 years 5 months ago
Smart Objects for Intelligent Applications - ADK
SOFIA (Artemis project: http://www.sofiaproject.eu/) focuses on answering the challenge of creating smart environments and its goal is to make information that resides in the phys...
Jesus Fernandez Gomez-Pimpollo, Raul Otaolea
ICST
2009
IEEE
15 years 4 months ago
A Flexible Framework for Quality Assurance of Software Artefacts with Applications to Java, UML, and TTCN-3 Test Specifications
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
Jens Nodler, Helmut Neukirchen, Jens Grabowski
« Prev « First page 1648 / 2134 Last » Next »