Sciweavers

4266 search results - page 253 / 854
» Search for More Declarativity
Sort
View
ITICSE
2005
ACM
16 years 9 days ago
A prolog toolkit for formal languages and automata
This paper describes the first version of P (read “P flat”), a collection of Prolog predicates that aims to provide a pedagogical implementation of concepts and algorithms t...
Michel Wermelinger, Artur Miguel Dias
SIGCSE
2005
ACM
117views Education» more  SIGCSE 2005»
16 years 9 days ago
Design patterns for parsing
We provide a systematic transformation of an LL(1) grammar to an object model that consists of · an object structure representing the non-terminal symbols and their corresponding...
Dung Zung Nguyen, Mathias Ricken, Stephen B. Wong
139
Voted
CCS
2004
ACM
16 years 4 days ago
Verifying policy-based security for web services
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
Karthikeyan Bhargavan, Cédric Fournet, Andr...
SEMWEB
2004
Springer
16 years 2 days ago
Generating On the Fly Queries for the Semantic Web: The ICS-FORTH Graphical RQL Interface (GRQL)
Abstract. Building user-friendly GUIs for browsing and filtering RDF/S description bases while exploiting in a transparent way the expressiveness of declarative query/view language...
Nikolaos Athanasis, Vassilis Christophides, Dimitr...
ADC
2003
Springer
118views Database» more  ADC 2003»
15 years 12 months ago
CrystalBall : A Framework for Mining Variants of Association Rules
The mining of informative rules calls for methods that include different attributes (e.g., weights, quantities, multipleconcepts) suitable for the context of the problem to be an...
Kok-Leong Ong, Wee Keong Ng, Ee-Peng Lim