1061 search results - page 105 / 213 » Dependently Sorted Logic |
169
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The creation of distributed applications requires sophisticated compositions, as various components — supporting application logic or non-functional requirements — mu...
137
click to vote
ISLPED
1999
ACM
15 years 8 months ago
1999
ACM
Gating the clock is an important technique used in low power design to disable unused modules of a circuit. Gating can save power by both preventing unnecessary activiiy in the lo...
128
click to vote
SP
1998
IEEE
15 years 8 months ago
1998
IEEE
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...
144
click to vote
VLDB
1994
ACM
15 years 8 months ago
1994
ACM
Physical data independence is touted as a central feature of modern database systems. Both relational and object-oriented systems, however, force users to frame their queries in t...
130
click to vote
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...