3040 search results - page 212 / 608 » Independent Natural Extension |
111
click to vote
APPROX
2009
Springer
15 years 7 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 ...
89
Voted
FM
2009
Springer
15 years 7 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...
MODELS
2009
Springer
15 years 7 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 ...
120
Voted
MODELS
2009
Springer
15 years 7 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...
91
Voted
GLOBECOM
2006
IEEE
15 years 6 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...