2685 search results - page 467 / 537 » A Formal Semantics for SPKI |
151
click to vote
VLDB
2005
ACM
16 years 7 days ago
2005
ACM
XML and XQuery semantics are very sensitive to the order of the produced output. Although pattern-tree based algebraic approaches are becoming more and more popular for evaluating...
187
click to vote
CAISE
2005
Springer
16 years 7 days ago
2005
Springer
Coupling of cross-organizational business processes in electronic markets is a difficult and time-consuming task. In practice business processes are geographically distributed whic...
166
click to vote
SAC
2004
ACM
16 years 6 days ago
2004
ACM
1 This paper discusses the design and implementation details of MAST (Mobile Agent-based Security Tool), a new mobile agentbased network security approach. MAST has been designed t...
203
click to vote
BIRTHDAY
2004
Springer
16 years 5 days ago
2004
Springer
This paper presents a new model for mobile processes in occam-π. A process, embedded anywhere in a dynamically evolving network, may suspend itself mid-execution, be safely discon...
202
click to vote
CASSIS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...