Sciweavers

2181 search results - page 192 / 437
» The restriction scaffold problem
Sort
View
136
Voted
SACMAT
2004
ACM
15 years 10 months 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
155
Voted
CICLING
2004
Springer
15 years 10 months 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...
149
Voted
CINQ
2004
Springer
119views Database» more  CINQ 2004»
15 years 10 months 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 10 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
140
Voted
ECOOP
2004
Springer
15 years 10 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