2513 search results - page 457 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
ECOOP
2006
Springer
14 years 1 months ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...
SC
1995
ACM
14 years 1 months ago
1995
ACM
Release consistency is a widely accepted memory model for distributed shared memory systems. Eager release consistency represents the state of the art in release consistent protoc...
ATAL
2006
Springer
13 years 12 months ago
2006
Springer
Goals are an important concept in intelligent agent systems, and can take a variety of forms. One such form is maintenance goals, which, unlike achievement goals, define states th...
DOCENG
2005
ACM
13 years 12 months ago
2005
ACM
This paper presents a new approach to text processing, based on textemes. These are atomic text units generalising the concepts of character and glyph by merging them in a common ...
AAAI
2006
13 years 11 months ago
2006
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...