3238 search results - page 326 / 648 » On the Computational Interpretation of Negation |
165
click to vote
POLICY
2005
Springer
16 years 6 days ago
2005
Springer
Challenging usage policy issues can arise within virtual organizations (VOs) that integrate participants and resources spanning multiple physical institutions. Participants may wi...
178
click to vote
RTA
2005
Springer
16 years 5 days ago
2005
Springer
In this paper, we consider the monadic second order logic (MSO) and two of its extensions, namely Counting MSO (CMSO) and Presburger MSO (PMSO), interpreted over unranked and unord...
184
click to vote
PASTE
2004
ACM
16 years 4 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
163
click to vote
PERVASIVE
2004
Springer
16 years 1 days ago
2004
Springer
In an effort to support the development of context-aware applications that use archived sensor data, we introduce the concept of the Context Cube based on techniques of data wareho...
193
click to vote
RTA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...