17164 search results - page 2644 / 3433 » Applications of Sensor Networks |
202
click to vote
IFM
2010
Springer
2010
Springer
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
15 years 6 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...
189
click to vote
CLOUDCOM
2010
Springer
15 years 5 months ago
2010
Springer
Through the recent emergence of joint resource and network virtualization, dynamic composition and provisioning of time-limited and isolated virtual infrastructures is now possible...
201
click to vote
GAMESEC
2010
15 years 5 months ago
2010
Abstract. Even the most well-motivated models of information security have application limitations due to the inherent uncertainties involving risk. This paper exemplifies a formal...
180
click to vote
GLOBECOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--With the deployment of more and more resiliencecritical Internet applications, there is a rising demand for multihomed network sites. This leads to the desire for simulta...
183
click to vote
ICIP
2010
IEEE
15 years 5 months ago
2010
IEEE
Multiview video is increasingly getting attention due to emerging applications such as 3DTV and immersive teleconferencing. In this paper, we present a non-stationary Hidden Marko...