1860 search results - page 176 / 372 » A Temporal Logic of Robustness |
177
click to vote
ARITH
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper we explore the relationship between adder topology and energy efficiency. We compare the energy-delay tradeoff curves of selected 32-bit adder topologies, to determi...
177
click to vote
ATAL
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...
208
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
188
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Abstract-- Choquet integral has proved to be an effective aggregation model in multiple criteria decision analysis when interactions between criteria have to be taken into consider...
222
click to vote
JAVA
2001
Springer
15 years 11 months ago
2001
Springer
CX, a network-based computational exchange, is presented. The system’s design integrates variations of ideas from other researchers, such as work stealing, non-blocking tasks, e...