Sciweavers

7383 search results - page 72 / 1477
» Theories of information behavior
Sort
View
JUCS
2006
126views more  JUCS 2006»
15 years 6 months ago
Behavioral Institutions and Refinements in Generalized Hidden Logics
: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract alge...
Manuel A. Martins
CCS
2005
ACM
15 years 11 months ago
PeerAccess: a logic for distributed authorization
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
Marianne Winslett, Charles C. Zhang, Piero A. Bona...
DAGSTUHL
2007
15 years 7 months ago
Measuring Ranks via the Complete Laws of Iterated Contraction
: Ranking theory delivers an account of iterated contraction; each ranking function induces a specific iterated contraction behavior. The paper gives a complete axiomatization of t...
Wolfgang Spohn
KES
2005
Springer
15 years 11 months ago
Synthetic Character with Bayesian Network and Behavior Network for Intelligent Smartphone
As more people get using mobile phones, smartphone which is a new generation of mobile phone with computing capability earns world-wide reputation as new personal business assistan...
Sang-Jun Han, Sung-Bae Cho
HICSS
2007
IEEE
87views Biometrics» more  HICSS 2007»
16 years 15 days ago
A Semantic Recognizer Infrastructure for Computing Loop Behavior
Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and propertie...
Ali Mili, Tim Daly, Mark Pleszkoch, Stacy J. Prowe...