3384 search results - page 469 / 677 » More Testable Properties |
138
click to vote
DRM
2006
Springer
15 years 10 months ago
2006
Springer
Despite huge efforts by software providers, software protection mechanisms are still broken on a regular basis. Due to the current distribution model, an attack against one copy o...
150
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We study resolving conflicts between an action description and a set of conditions (possibly obtained from observations), in the context of action languages. In this form...
162
click to vote
ECML
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Many complex control problems are not amenable to traditional controller design. Not only is it difficult to model real systems, but often it is unclear what kind of beha...
161
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
Templates are a powerful but poorly understood feature of the C++ language. Their syntax resembles the parameterized classes of other languages (e.g., of Java). But because C++ sup...
175
click to vote
EELC
2006
15 years 10 months ago
2006
Abstract. We suggest that the primary motivation for an agent to construct a symbol-meaning mapping is to solve a task. The meaning space of an agent should be derived from the tas...