3765 search results - page 522 / 753 » Qualitative Action Systems |
162
click to vote
ECAI
1992
Springer
15 years 10 months ago
1992
Springer
The cooperation knowledge level is a new computer level specifically for multi-agent problem solvers which describes rich and explicit models of common social phenomena. A cooperat...
223
click to vote
ICCL
1992
IEEE
15 years 10 months ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
175
click to vote
CANDC
2007
ACM
15 years 10 months ago
2007
ACM
We discuss our study that looks at family members as everyday designers. We explain the design actions of family members to be creative, as evidenced by the resourceful appropriat...
158
click to vote
PERSUASIVE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this paper, we further develop the idea of combining pervasive computing techniques with electronic payment systems to create activity-based micro-incentives. Economic...
210
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...