3595 search results - page 453 / 719 » Roles of Program Extension |
149
click to vote
CSL
2007
Springer
16 years 12 days ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...
153
click to vote
LADS
2007
Springer
16 years 11 days ago
2007
Springer
Robustness, through fault tolerance, is a property often put forward in order to advocate MAS. The question is: What is the first step to be fault tolerant? Obviously the answer i...
162
click to vote
STORYTELLING
2007
Springer
16 years 11 days ago
2007
Springer
We present Wide Ruled, an authoring tool for the creation of generative stories. It is based on the Universe author-goal-based model of story generation, and extends this model by ...
154
click to vote
ICDCSW
2006
IEEE
16 years 9 days ago
2006
IEEE
The Fluids and Combustion Facility (FCF) will be a permanent modular, multi-user facility used to accommodate microgravity science experiments in the U.S. Laboratory Module onboar...
174
click to vote
HASKELL
2006
ACM
16 years 6 days ago
2006
ACM
In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors. Polymorphic variants are potenti...