6047 search results - page 396 / 1210 » Modeling with Extend |
119
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
In [2] Gentzen calculi for intuitionistic logic extended with an existence predicate were introduced. Such logics were first introduced by Dana Scott, who provided a proof system ...
181
click to vote
ATAL
1998
Springer
15 years 9 months ago
1998
Springer
This article introduces the current agent-oriented methodologies. It discusseswhat approacheshave been followed (mainly extending existing objectoriented and knowledge engineering ...
145
click to vote
ESORICS
2000
Springer
15 years 9 months ago
2000
Springer
We extend the logic and semantics of authorization due to Abadi, Lampson, et al. to support restricted delegation. Our formal model provides a simple interpretation for the variety...
153
Voted
EWSPT
1995
Springer
15 years 9 months ago
1995
Springer
It is advocated here that integrating abstraction and modularity into the concept of point of view, and extending the view concept to the process itself (and not only to data used ...
159
Voted
AIIDE
2006
15 years 7 months ago
2006
Although other genres have used procedural level generation to extend gameplay and replayability, platformer games have not yet seen successful level generation. This paper propos...