1757 search results - page 249 / 352 » Integrating and Extending JCSP |
188
click to vote
SIGOPSE
2004
ACM
16 years 8 days ago
2004
ACM
Secure systems are best built on top of a small trusted operating system: The smaller the operating system, the easier it can be assured or verified for correctness. In this pape...
165
click to vote
ADBIS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Query rewriting method is proposed for the heterogeneous information integration infrastructure formed by the subject mediator environment. Local as View (LAV) approach t...
161
click to vote
AMAI
2004
Springer
16 years 7 days ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
157
click to vote
APWEB
2004
Springer
16 years 7 days ago
2004
Springer
We propose a template-based runtime invalidation approach for maintaining cache consistency in database-generated web contents. In our approach, the invalidator sits between a web...
194
click to vote
CIA
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...