5252 search results - page 51 / 1051 » Logic in Access Control |
AI
2005
Springer
13 years 10 months ago
2005
Springer
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
FROCOS
2009
Springer
14 years 5 months ago
2009
Springer
FROCOS
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
EUROMICRO
1999
IEEE
14 years 3 months ago
1999
IEEE
We propose an hardware solution to several security problems that are difficult to solve on classical processor architectures, like licensing, electronic commerce, or software pri...
BPM
2006
Springer
14 years 22 days ago
2006
Springer
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...