2632 search results - page 252 / 527 » Alternating Timed Automata |
128
click to vote
ICDE
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we propose a simple and flexible execution model that (i) supports a wide spectrum of alternative optimization and execution strategies and their mixtures, (ii) pro...
136
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
This paper studies bilateral, multi-issue negotiation between self-interested agents with deadlines. There are a number of procedures for negotiating the issues and each of these g...
119
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we describe how we applied a BIST-based approach to the test of a logic core to be included in System-on-achip (SoC) environments. The approach advantages are the ab...
257
click to vote
WSC
2007
15 years 6 months ago
2007
Planning, scheduling and effective management of contingencies are crucial for the successful management of construction projects. In this paper we explore a mathematical represen...
137
click to vote
WSC
2008
15 years 6 months ago
2008
This paper summarizes new analytical and empirical results for the economic approach to simulation selection problems that we introduced two years ago. The approach seeks to help ...