Sciweavers

829 search results - page 145 / 166
» A Constructive Object Oriented Modeling Language for Informa...
Sort
View
ESORICS
2004
Springer
14 years 2 months ago
Security Property Based Administrative Controls
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ļ¬...
Jon A. Solworth, Robert H. Sloan
EUROSYS
2009
ACM
14 years 6 months ago
Dingo: taming device drivers
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...
Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heise...
SIGMOD
2003
ACM
140views Database» more  SIGMOD 2003»
14 years 9 months ago
A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding
The W3C XQuery language recommendation, based on a hierarchical and ordered document model, supports a wide variety of constructs and use cases. There is a diversity of approaches...
David DeHaan, David Toman, Mariano P. Consens, M. ...
GPCE
2005
Springer
14 years 2 months ago
A Generative Programming Approach to Developing DSL Compilers
Abstract. Domain-Speciļ¬c Languages (DSLs) represent a proven approach to raising the abstraction level of programming. They oļ¬€er highlevel constructs and notations dedicated to...
Charles Consel, Fabien Latry, Laurent Révei...
EDBT
2010
ACM
164views Database» more  EDBT 2010»
14 years 4 days ago
Techniques for efficiently querying scientific workflow provenance graphs
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...
Manish Kumar Anand, Shawn Bowers, Bertram Ludä...