2270 search results - page 71 / 454 » Modelling Secure IT Systems - A Survey |
MMMACNS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We present a new model that provides clear and precise semantics for authorization. The semantics is independent from underling security mechanisms and is separate from i...
FUIN
2008
13 years 8 months ago
2008
Abstract. Communicating Hierarchical Transaction-based Timed Automata have been introduced to model systems performing long
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper proposes and validates a theory of physician resistance toward IT usage by drawing on prior research in the resistance to change literature and a recent dual-factor mod...
AIED
2007
Springer
14 years 2 months ago
2007
Springer
This work surveys the opinions of teachers and other education professionals regarding the potential for Open Learner Models (OLM) in UK schools. We describe the aims of OLM, and o...
WMCSA
2002
IEEE
14 years 1 months ago
2002
IEEE
Based on five design principles extracted from a survey of location systems, we present the Location Stack, a layered software engineering model for location in ubiquitous comput...