2858 search results - page 420 / 572 » Logics with Aggregate Operators |
174
Voted
ILP
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...
171
click to vote
LPAR
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. We discuss a collection of mechanized formal proofs of symmetric key block encryption algorithms (AES, MARS, Twofish, RC6, Serpent, IDEA, and TEA), performed in an imple...
194
Voted
MIDDLEWARE
2005
Springer
16 years 13 days ago
2005
Springer
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...
212
click to vote
APLAS
2004
ACM
16 years 12 days ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
178
Voted
SAC
2004
ACM
16 years 11 days ago
2004
ACM
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints i...