15840 search results - page 2762 / 3168 » The Control of Synchronous Systems |
175
click to vote
IMC
2006
ACM
16 years 27 days ago
2006
ACM
Despite its growing use in critical infrastructure services, the performance of IP(v4) Anycast and its interaction with IP routing practices is not well understood. In this paper,...
193
click to vote
ISSTA
2006
ACM
16 years 27 days ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
195
click to vote
PLDI
2006
ACM
16 years 27 days ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
183
click to vote
C5
2005
IEEE
16 years 17 days ago
2005
IEEE
Croquet [11,12] is a collaborative 3D platform that allows users to work together to create and share ideas. From the beginning we have worked to ensure that the Croquet interface...
194
click to vote
GRAPHITE
2005
ACM
16 years 15 days ago
2005
ACM
Linear perspective is a good approximation to the format in which the human visual system conveys 3D scene information to the brain. Artists expressing 3D scenes, however, create ...