Sciweavers

359 search results - page 17 / 72
» Reference Attributed Grammars
Sort
View
OOPSLA
1989
Springer
14 years 2 months ago
Virtual Classes: A Powerful Mechanism in Object-Oriented Programming
The notions of class, subclass and virtual procedure are fairly well understood and recognized as some of the key concepts in object-oriented programming. The possibility of modif...
Ole Lehrmann Madsen, Birger Møller-Pedersen
GECCO
2007
Springer
427views Optimization» more  GECCO 2007»
14 years 4 months ago
Evolutionary music composer integrating formal grammar
—In this paper, an autonomous music composition tool is developed using Genetic Algorithms. The production is enhanced by integrating formal grammar rules. A formal grammar is a ...
Yaser M. A. Khalifa, Badar K. Khan, Jasmin Begovic...
ICC
2007
IEEE
14 years 4 months ago
A Grammar for Specifying Usage Control Policies
—Usage control goes beyond traditional access control, addressing its limitations related to attribute mutability and continuous usage permission validation. The recently propose...
Rafael Teigao, Carlos Maziero, Altair Olivo Santin
CC
1998
Springer
134views System Software» more  CC 1998»
14 years 2 months ago
Flow Logics for Constraint Based Analysis
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
Hanne Riis Nielson, Flemming Nielson
HT
1999
ACM
14 years 2 months ago
Improving Hypermedia Development: A Reference Model-Based Process Assessment Method
If we are to improve our ability to reliably and consistently create high quality hypermedia applications then we need to improve our understanding of the development process and ...
David B. Lowe, Andrew J. Bucknell, Richard Webby