Sciweavers

685 search results - page 3 / 137
» Implementing Controlled Languages in GF
Sort
View
118
Voted
DBSEC
2009
130views Database» more  DBSEC 2009»
15 years 2 months ago
Implementing Reflective Access Control in SQL
Reflective Database Access Control (RDBAC) is a model in which a database privilege is expressed as a database query itself, rather than as a static privilege in an access control ...
Lars E. Olson, Carl A. Gunter, William R. Cook, Ma...
71
Voted
ICMCS
2000
IEEE
90views Multimedia» more  ICMCS 2000»
15 years 5 months ago
Extension of SMIL with QoS Control and its Implementation
In this paper, we propose a language called QOS-SMIL where some QoS guarantee statements are added to a subclass of SMIL, and give its implementation technique. In QOS-SMIL, in ad...
Yoshiki Terashima, Keiichi Yasumoto, Teruo Higashi...
136
Voted
IFIP
1992
Springer
15 years 5 months ago
Controller Implementation by Communicating Asynchronous Sequential Circuits Generated from a Petri Net Specification of Required
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
Jochen Beister, Ralf Wollowski
212
Voted
ICFP
2009
ACM
16 years 1 months ago
Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
We describe the implementation of first-class polymorphic delimited continuations in the programming language Scala. We use Scala's pluggable typing architecture to implement...
Tiark Rompf, Ingo Maier, Martin Odersky
78
Voted
ICFP
2002
ACM
16 years 1 months ago
Final shift for call/cc: : direct implementation of shift and reset
We present a direct implementation of the shift and reset control operators in the Scheme 48 system. The new implementation improves upon the traditional technique of simulating s...
Martin Gasbichler, Michael Sperber