Search Sciweavers | Sciweavers

1097 search results - page 30 / 220

» Revision Programming = Logic Programming Integrity Constra...

147

click to vote

IJSSE
2011

127views more IJSSE 2011»

A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints

14 years 10 months ago

Download staff.scm.uws.edu.au

The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. Our work presented in this paper f...

Sean Policarpio, Yan Zhang

claim paper

Read More »

185

click to vote

COMPSAC
2011
IEEE

251views Software Engineering» more COMPSAC 2011»

Conformance Checking with Constraint Logic Programming: The Case of Feature Models

14 years 2 months ago

Download cri-dist.univ-paris1.fr

Raúl Mazo, Robert Erick Lopez-Herrejon, Cam...

claim paper

Read More »

click to vote

SAC
2006
ACM

140views Applied Computing» more SAC 2006»

A constraint logic programming approach to 3D structure determination of large protein complexes

15 years 9 months ago

Download www.brown.edu

Alessandro Dal Palù, Enrico Pontelli, Jing ...

claim paper

Read More »

click to vote

AADEBUG
2000
Springer

85views Software Engineering» more AADEBUG 2000»

Slicing of Constraint Logic Programs

15 years 7 months ago

Download www.ep.liu.se

Gyöngyi Szilágyi, Tibor Gyimóth...

claim paper

Read More »

168

click to vote

CCL
1999
Springer

250views Automated Reasoning» more CCL 1999»

Functional and Constraint Logic Programming

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers