10156 search results - page 1782 / 2032 » Step by Step to Histories |
199
click to vote
VSTTE
2005
Springer
16 years 27 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
218
click to vote
WINE
2005
Springer
16 years 27 days ago
2005
Springer
This paper takes the first steps towards designing incentive compatible mechanisms for hierarchical decision making problems involving selfish agents. We call these Stackelberg p...
208
click to vote
XPU
2005
Springer
16 years 27 days ago
2005
Springer
The main goal to be answered by this Ph.D. thesis is whether there is a potential for a successful and powerful application of agile methods and related techniques to embedded syst...
208
click to vote
ATAL
2005
Springer
16 years 27 days ago
2005
Springer
2. THE MASM ALGORITHM An input to the MASM algorithm is a time-annotated multi-agent action sequence. The action sequence is then transformed into an action graph. An action graph ...
200
click to vote
COCOON
2005
Springer
16 years 26 days ago
2005
Springer
We consider the problem of scheduling on-line a sequence of degradable intervals in a set of k identical machines. Our objective is to find a schedule that maximizes simultaneousl...