4143 search results - page 45 / 829 » A theory of distributed aspects |
150
click to vote
AAAI
1990
15 years 7 months ago
1990
Reasoning about causality is an interesting application area of formal nonmonotonic theories. Here we focus our attention on a certain aspect of causal reasoning, namely causaZ as...
199
Voted
FROCOS
2007
Springer
16 years 4 days ago
2007
Springer
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
165
click to vote
GPCE
2008
Springer
15 years 7 months ago
2008
Springer
A functional aspect is an aspect that has the semantics of a transformation; it is a function that maps a program to an advised program. Functional aspects are composed by functio...
144
click to vote
BIRTHDAY
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
150
click to vote
AGI
2008
15 years 7 months ago
2008
Abstract. This paper presents a model of intelligence based on principles introduced by Piaget and the interactivist framework. It focuses on embodiment and sensory-motor aspects o...