2542 search results - page 59 / 509 » An Operational Definition of Context |
102
click to vote
CORR
2010
Springer
15 years 20 days ago
2010
Springer
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, where...
SOSP
2003
ACM
15 years 9 months ago
2003
ACM
Recently, there has been considerable interest in providing “trusted computing platforms” using hardware — TCPA and Palladium being the most publicly visible examples. In th...
196
click to vote
ICDE
2003
IEEE
16 years 1 months ago
2003
IEEE
The long-running nature of continuous queries poses new scalability challenges for dataflow processing. CQ systems execute pipelined dataflows that may be shared across multiple q...
103
Voted
WSCG
2003
15 years 1 months ago
2003
Boolean operations and feature-based modeling are closely linked domains. For example, several, sometimes many Boolean operations are involved during a feature instantiation or mo...
98
Voted
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
Operating rooms are regarded as the most costly hospital facilities. Due to rising costs and decreasing reimbursements, it is necessary to optimize the efficiency of the operating...