Sciweavers

15777 search results - page 2944 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
116
Voted
C++
1994
128views more  C++ 1994»
15 years 4 months ago
Implementing Signatures for C++
ne the design and detail the implementation of a language extension for abstracting types and for decoupling subtyping and inheritance in C++. This extension gives the user more of...
Gerald Baumgartner, Vincent F. Russo
AAMAS
2007
Springer
15 years 3 months ago
An algebra for commitment protocols
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
Ashok U. Mallya, Munindar P. Singh
106
Voted
BIOSYSTEMS
2007
103views more  BIOSYSTEMS 2007»
15 years 3 months ago
A design framework to model retinas
Neuro-engineering is providing biomedical engineers with technology to interface the nervous system, which is useful to create prosthetic devices to palliate sensorial or motor di...
Christian A. Morillas, Samuel F. Romero, Antonio M...
118
Voted
CORR
2010
Springer
101views Education» more  CORR 2010»
15 years 3 months ago
Model-Driven Constraint Programming
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
Raphaël Chenouard, Laurent Granvilliers, Rica...
104
Voted
CORR
2010
Springer
130views Education» more  CORR 2010»
15 years 3 months ago
Towards Adaptable and Adaptive Policy-Free Middleware
We believe that to fully support adaptive distributed applications, middleware must itself be adaptable, adaptive and policy-free. In this paper we present a new language-independ...
Alan Dearle, Graham N. C. Kirby, Stuart J. Norcros...
« Prev « First page 2944 / 3156 Last » Next »