Sciweavers

1454 search results - page 25 / 291
» Stateful traits and their formalization
Sort
View
141
Voted
SACMAT
2009
ACM
15 years 7 months 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 5 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 13 days 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
78
Voted
OZCHI
2006
ACM
15 years 6 months 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
97
Voted
ITS
2010
Springer
148views Multimedia» more  ITS 2010»
15 years 5 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. ...