3256 search results - page 451 / 652 » Applications of Formal Methods to System Design and Verifica... |
149
click to vote
ICDCS
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—Stream processing is widely used by today’s applications such as financial data analysis and disaster response. In distributed stream processing systems, machine fail...
167
click to vote
VRST
2004
ACM
15 years 11 months ago
2004
ACM
Global illumination dramatically improves realistic appearance of rendered scenes, but usually it is neglected in VR systems due to its high costs. In this work we present an effi...
161
click to vote
CCS
2009
ACM
16 years 6 months ago
2009
ACM
This paper introduces a method to control JavaScript execution. The aim is to prevent or modify inappropriate behaviour caused by e.g. malicious injected scripts or poorly designe...
164
click to vote
ATAL
2009
Springer
16 years 1 days ago
2009
Springer
In hedonic games, players have the opportunity to form coalitions, and have preferences over the coalitions they might join. Such games can be used to model a variety of settings ...
142
click to vote
FASE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...