1620 search results - page 70 / 324 » eg 2010 |
146
click to vote
IFM
2010
Springer
2010
Springer
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
15 years 2 months ago
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...
137
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
164
Voted
IJSNET
2010
15 years 2 months ago
2010
: Many sensor applications often require to collect raw sensed values from many sensor nodes to one centralized server. Sensor data collection typically comes with various quality ...
165
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper we show that complex (scale-free) network topologies naturally emerge from hyperbolic metric spaces. The hyperbolic geometry can be used to facilitate maximally ef...
144
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
With the Internet designed to provide best-effort packet transmission, applications are expected to adapt dynamically to the operating conditions observed in the network. For this ...