5550 search results - page 101 / 1110 » Different Approaches to Proof Systems |
218
click to vote
HPCNCS
2007
15 years 8 months ago
2007
The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...
260
click to vote
FUNGAMES
2010
15 years 8 months ago
2010
Autonomic Computing is now showing its value as a solution to the increased complexities of maintaining computer systems and has been applied to many different fields. In this pap...
159
click to vote
AUSAI
2003
Springer
16 years 2 days ago
2003
Springer
Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue that policy-based intentions [...
163
click to vote
BNCOD
2003
15 years 8 months ago
2003
This paper describes ProSQL, a novel prototyping tool to support the development of extensions to SQL. ProSQL provides a simple way to prototype the features of a proposed extensio...
173
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...