1860 search results - page 176 / 372 » A Temporal Logic of Robustness |
87
Voted
ARITH
2007
IEEE
15 years 4 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...
88
Voted
ATAL
2005
Springer
15 years 6 months 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...
113
Voted
ATAL
2010
Springer
15 years 1 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...
100
Voted
EUSFLAT
2009
14 years 10 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...
118
Voted
JAVA
2001
Springer
15 years 5 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...