2520 search results - page 205 / 504 » Model-checking behavioral programs |
159
click to vote
UM
2007
Springer
16 years 16 days ago
2007
Springer
We present results from a field study investigating the influence of conversations on the multitasking behavior of computer users. We report on several findings, including the timi...
140
click to vote
AUSAI
2005
Springer
15 years 12 months ago
2005
Springer
We are interested in programming languages for cognitive agents with preferences. We define rule-based agent theories and inference procedures in defeasible logic, and in this set...
154
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The Amorphous Computing project is aimed at developing programming methodologies for systems composed of vast numbers of locallyinteracting, identically-programmed agents...
220
click to vote
VL
2010
IEEE
15 years 4 months ago
2010
IEEE
I am creating a new programming language and editor that is aimed towards authoring interactive behaviors. This language is intended to allow more interaction designers to write t...
159
click to vote
TGC
2005
Springer
15 years 12 months ago
2005
Springer
Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principal...