Sciweavers

2181 search results - page 192 / 437
» The restriction scaffold problem
Sort
View
SACMAT
2004
ACM
16 years 19 hour ago
Role-based access control in ambient and remote space
In the era of Ubiquitous Computing and world–wide data transfer mobility, as an innovative aspect of professional activities, imposes new and complex problems of mobile and dist...
Horst Wedde, Mario Lischka
CICLING
2004
Springer
16 years 1 hour ago
A Modal Logic Framework for Human-Computer Spoken Interaction
Abstract. One major goal of human computer interfaces is to simplify the communication task. Traditionally, users have been restricted to the language of computers for this task. W...
Luis Villaseñor Pineda, Manuel Montes-y-G&o...
CINQ
2004
Springer
119views Database» more  CINQ 2004»
16 years 48 min ago
How to Quickly Find a Witness
The subfield of itemset mining is essentially a collection of algorithms. Whenever a new type of constraint is discovered, a specialized algorithm is proposed to handle it. All o...
Daniel Kifer, Johannes Gehrke, Cristian Bucila, Wa...
CSL
2004
Springer
15 years 12 months ago
Fixed Points of Type Constructors and Primitive Recursion
Abstract. For nested or heterogeneous datatypes, terminating recursion schemes considered so far have been instances of iteration, excluding efficient definitions of fixed-point ...
Andreas Abel, Ralph Matthes
ECOOP
2004
Springer
15 years 12 months ago
An AOP Implementation Framework for Extending Join Point Models
Mechanisms in AOP (aspect-oriented programming) can be characterized by a JPM (join point model). AOP is effective in unanticipated software evolution because crosscutting concer...
Naoyasu Ubayashi, Hidehiko Masuhara, Tetsuo Tamai