15840 search results - page 2573 / 3168 » The Control of Synchronous Systems |
170
click to vote
POPL
1993
ACM
15 years 11 months ago
1993
ACM
Static scoping embodies a strong encapsulation mechanism for hiding the details of program units. Yet, it does not allow the sharing of variable bindings locations across indepe...
196
click to vote
VLDB
1993
ACM
15 years 11 months ago
1993
ACM
Mb describe the design and implementation of a constraint management facility for our active object-oriented database system called Jasmine/A. The facility includes integrity cons...
159
click to vote
SIGGRAPH
1990
ACM
15 years 11 months ago
1990
ACM
Numbers: AbstractImageRepresentations Paul Haeberli Silicon Graphics Computer Systems Computer graphics research has concentrated on creating photo-realistic images of synthetic o...
170
click to vote
CONEXT
2007
ACM
15 years 11 months ago
2007
ACM
We present a transport protocol whose goal is to reduce power consumption without compromising delivery requirements of applications. To meet its goal of energy efficiency, our tr...
224
click to vote
CSFW
2007
IEEE
15 years 11 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...