13717 search results - page 2365 / 2744 » Control Systems |
142
click to vote
ISSTA
2006
ACM
15 years 10 months 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...
149
click to vote
PLDI
2006
ACM
15 years 10 months 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 ...
136
click to vote
C5
2005
IEEE
15 years 10 months 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...
133
click to vote
STEP
2005
IEEE
15 years 10 months ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
153
click to vote
GRAPHITE
2005
ACM
15 years 10 months 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 ...