2361 search results - page 379 / 473 » Embedded Systems - Challenges and Work Directions |
136
Voted
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we examine the behavior of bidding agents that are in direct competition with the other participants in an auction setting. Thus the agents are not simply trying to...
135
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
119
Voted
EPIA
2007
Springer
15 years 10 months ago
2007
Springer
The goal of an Evolutionary Algorithm(EA) is to find the optimal solution to a given problem by evolving a set of initial potential solutions. When the problem is multi-modal, an ...
115
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make ...
119
click to vote
PDCAT
2007
Springer
15 years 10 months ago
2007
Springer
We present the architecture of nreduce, a distributed virtual machine which uses parallel graph reduction to run programs across a set of computers. It executes code written in a ...