3040 search results - page 212 / 608 » Independent Natural Extension |
142
click to vote
APPROX
2009
Springer
15 years 11 months ago
2009
Springer
An important research thread in algorithmic game theory studies the design of efficient truthful mechanisms that approximate the optimal social welfare. A fundamental question is ...
135
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
118
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
A Domain-Specific Modeling Language (DSMLs) describes the concepts and their relationships of a particular domain, in a metamodel. Using a DSML, it is possible to describe a wide ...
152
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
Model-based development of highly complex software systems leads to large models. Storing them in repositories offers the possibility to work with these models in a distributed env...
126
click to vote
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— During the last few years there has been a rapid development in mobile ad hoc networks (MANETs). To make the operations of a MANET more efficient, one approach is to construct...