Search Sciweavers | Sciweavers

2736 search results - page 9 / 548

» Implementable allocation rules

click to vote

POPL
2007
ACM

183views Programming Languages» more POPL 2007»

A concurrent constraint handling rules implementation in Haskell with software transactional memory

14 years 10 months ago

Download www.cs.cmu.edu

Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...

Edmund S. L. Lam, Martin Sulzmann

claim paper

Read More »

click to vote

CSSE
2008
IEEE

170views Software Engineering» more CSSE 2008»

The Design and Implementation of Ontology and Rules Based Knowledge Base for Transportation

13 years 11 months ago

Download www.isprs.org

: The traditional transportation information inquiry mainly uses key words based on the text, and the service the inquiry system provided is onefold and only aims at one transporti...

Gang Cheng, Qingyun Du, Hongli Ma

claim paper

Read More »

click to vote

HICSS
2005
IEEE

173views Biometrics» more HICSS 2005»

Implementing Rule-Based Monitors within a Framework for Continuous Requirements Monitoring

14 years 3 months ago

Download www.evernote.com

With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...

William N. Robinson

claim paper

Read More »

click to vote

PPDP
2004
Springer

82views Programming Languages» more PPDP 2004»

Formalization and abstract implementation of rewriting with nested rules

14 years 3 months ago

Download web.cecs.pdx.edu

Sergio Antoy, Stephen Johnson

claim paper

Read More »