Sciweavers

1454 search results - page 25 / 291
» Stateful traits and their formalization
Sort
View
SACMAT
2009
ACM
16 years 17 days ago
Towards formal security analysis of GTRBAC using timed automata
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri
HICSS
2003
IEEE
207views Biometrics» more  HICSS 2003»
15 years 11 months ago
Formalizing Multi-Agent POMDP's in the context of network routing
This paper uses partially observable Markov decision processes (POMDP’s) as a basic framework for MultiAgent planning. We distinguish three perspectives: first one is that of a...
Bharaneedharan Rathnasabapathy, Piotr J. Gmytrasie...
CORR
2007
Springer
79views Education» more  CORR 2007»
15 years 6 months ago
Ontology and Formal Semantics - Integration Overdue
but other abstract objects as well (e.g., states, processes, properties, activities, attributes, etc.) It will be demonstrated here that in such a framework, a number of challenges...
Walid S. Saba
OZCHI
2006
ACM
16 years 14 hour ago
Transient life: collecting and sharing personal information
Millions of people post personal information on the internet, yet the actual information varies greatly. Some pieces are extremely brief, others are highly detailed. Some focus on...
Stephanie Smale, Saul Greenberg
ITS
2010
Springer
148views Multimedia» more  ITS 2010»
15 years 10 months ago
Developing Empirically Based Student Personality Profiles for Affective Feedback Models
The impact of affect on learning has been the subject of increasing attention. Because of the differential effects of students’ affective states on learning outcomes, there is a ...
Jennifer L. Robison, Scott W. McQuiggan, James C. ...