3388 search results - page 263 / 678 » Type-theoretic design patterns |
181
click to vote
FASE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...
145
click to vote
KAIS
2006
15 years 6 months ago
2006
This paper defines a challenging problem of pattern matching between a pattern P and a text T, with wildcards and length constraints, and designs an efficient algorithm to return e...
173
click to vote
IVS
2007
15 years 6 months ago
2007
Understanding the spatial and temporal characteristics of individual and group behavior in social networks is a critical component of visual tools for intelligence analysis, emerg...
146
click to vote
EUSAI
2003
Springer
15 years 11 months ago
2003
Springer
This paper describes the design and architecture of a multimodal interface for controlling a mobile robot. The architecture is build up from standardized components and uses Speech...
154
click to vote
HT
2000
ACM
15 years 11 months ago
2000
ACM
We propose a method (APHID) that assists an instructional designer to define format, structure and sequence within an instructional hypermedia application. Our method uses concept...