1486 search results - page 117 / 298 » A Logically Saturated Extension of |
125
click to vote
CONCUR
1990
Springer
15 years 10 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
178
click to vote
AIMSA
2008
Springer
16 years 7 days ago
2008
Springer
Since its formalization RBAC has become the yardstick for the evaluation of access control formalisms. In order to meet organizational needs, it has been extended along several di...
148
click to vote
TARK
2007
Springer
16 years 8 hour ago
2007
Springer
We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...
172
click to vote
ASP
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
175
click to vote
ANOR
2005
15 years 5 months ago
2005
This paper presents a review of advances in the mathematical programming approach to discrete/continuous optimization problems. We first present a brief review of MILP and MINLP f...