4266 search results - page 356 / 854 » A Framework for Defining Logics |
330
click to vote
POPL
2007
ACM
16 years 8 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
241
click to vote
FOIKS
2006
Springer
15 years 11 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
214
click to vote
CSL
2010
Springer
15 years 8 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
217
click to vote
ISCC
2005
IEEE
16 years 1 months ago
2005
IEEE
This position paper presents the trend of the research focus transition from mobility management to connectivity management, for the emerging pervasive and ubiquitous computing pa...
205
click to vote
ICT
2004
Springer
16 years 1 months ago
2004
Springer
This work proposes a XML-based framework for distributing and enforcing RSVP access control policies, for RSVP-aware application servers. Policies are represented by extending XAC...