585 search results - page 61 / 117 » Better Abstractions for Timed Automata |
185
Voted
CP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We address a location-allocation problem that requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capaci...
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Decisions regarding the mapping of software components to hardware nodes affect the quality of the resulting system. Making these decisions is hard when considering the ...
108
Voted
ADMI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this work, we describe the process used in order to predict the bidding strategy of trading agents. This was done in the context of the Reverse TAC, or CAT, game of th...
81
Voted
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— Target tracking is a canonical issue in sensor networks research. However, tracking security has gained little or no attention. Once a sensor node is compromised, it wi...
90
Voted
ICCS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present a physical, laboratory-scale analog of large-scale atmospheric circulation and develop an observatory for it. By combining observations of a hydro-dynamically ...