14331 search results - page 413 / 2867 » On the modeling and analysis of obligations |
176
click to vote
DDEP
2000
Springer
15 years 11 months ago
2000
Springer
In this paper we present a general framework for document production that covers generic document model needs and adaptation needs. We define a multimedia document model called Mad...
198
click to vote
ICMCS
2010
IEEE
15 years 8 months ago
2010
IEEE
We present an interactive visualization system for the analysis of Gaussian mixture speaker models. The system exhibits the inner workings of the model intuitively by visualizing ...
167
click to vote
IACR
2011
14 years 6 months ago
2011
This article investigates privacy in Radio Frequency IDentification (RFID) systems. We survey the eight most well-known RFID privacy models. We examine their advantages and drawba...
178
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
175
click to vote
CTW
2006
15 years 7 months ago
2006
Cognitive task analysis (CTA) approaches are currently needed in many domains to provide explicit guidance on redesigning existing systems. This study used goal-directed task analy...