4731 search results - page 703 / 947 » Securing Interactive Programs |
158
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
194
click to vote
ISSRE
2008
IEEE
16 years 1 months ago
2008
IEEE
Systems connected to the Internet are highly susceptible to denial-of-service attacks that can compromise service availability, causing damage to customers and providers. Due to e...
126
click to vote
ISMAR
2007
IEEE
16 years 27 days ago
2007
IEEE
3D graphics systems increasingly rely on sophisticated event systems derived from collision detection mechanisms, which support the discretisation of Physics as well as high-level...
176
click to vote
CSL
2007
Springer
16 years 24 days ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
157
click to vote
EGH
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we present a method for rendering deformations as part of the programmable shader pipeline of contemporary Graphical Processing Units. In our method, we allow gener...