36320 search results - page 7142 / 7264 » From Code to Models |
170
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Team decision making under stress involving multiple contexts is an extremely challenging issue faced by various real world application domains. This research is targeted at coupl...
134
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
This paper proposes an efficient agent for competing in Cliff Edge (CE) environments, such as sealed-bid auctions, dynamic pricing and the ultimatum game. The agent competes in on...
136
Voted
COOPIS
2004
IEEE
15 years 7 months ago
2004
IEEE
Abstract. This paper introduces ThreadMill - a distributed and parallel component architecture for applications that process large volumes of streamed (time-sequenced) data, such a...
147
Voted
BROADNETS
2006
IEEE
15 years 7 months ago
2006
IEEE
Sensor webs are heterogeneous collections of sensor devices that collect information and interact with the environment. They consist of wireless sensor networks that are ensembles ...
99
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Bounded model checking (BMC) has gained widespread industrial use due to its relative scalability. Its exhaustiveness over all valid input vectors allows it to expose arbitrarily ...