946 search results - page 73 / 190 » Process Algebra and Non-Interference |
129
click to vote
CALCO
2007
Springer
15 years 6 months ago
2007
Springer
Much current work on modelling and verifying microprocessors can accommodate pipelined and superscalar processors. However, superscalar and pipelined processors are no longer state...
104
click to vote
DOLAP
2004
ACM
15 years 6 months ago
2004
ACM
In today’s OLAP systems, integrating fast changing data, e.g., stock quotes, physically into a cube is complex and time-consuming. The widespread use of XML makes it very possib...
124
Voted
VLDB
1994
ACM
15 years 4 months ago
1994
ACM
Expert database systems extend the functionality of conventional database systems by providing a facility for creating and automatically executing Condition-Action rules. While Con...
102
click to vote
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Several formalisms exist to express and solve decision problems. Each is designed to capture different kinds of knowledge: utilities expressing preferences, uncertainties on the en...
123
Voted
ETRICS
2006
15 years 4 months ago
2006
To cope with the complex requirements imposed on the processing of privacy-sensitive data within enterprises, the use of automatic or semi-automatic tools is gradually becoming in...