2131 search results - page 209 / 427 » Immunity for Closed Sets |
168
click to vote
ISPW
2007
IEEE
16 years 26 days ago
2007
IEEE
The formalization of process definitions has been an invaluable aid in many domains. However, noticeable variations in processes start to emerge as precise details are added to pro...
137
Voted
CSL
2007
Springer
16 years 23 days ago
2007
Springer
Models of the untyped λ-calculus may be defined either as applicative structures satisfying a bunch of first order axioms, known as “λ-models”, or as (structures arising fr...
155
click to vote
CSL
2007
Springer
16 years 23 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...
164
click to vote
ECML
2007
Springer
16 years 23 days ago
2007
Springer
When facing the question of learning languages in realistic settings, one has to tackle several problems that do not admit simple solutions. On the one hand, languages are usually...
179
click to vote
ECTEL
2007
Springer
16 years 23 days ago
2007
Springer
The Virtual Company educational scenario engages students in a professional setting for working and learning. Students are enabled to develop competencies that are derived from pro...