Sciweavers

1097 search results - page 30 / 220
» Revision Programming = Logic Programming Integrity Constra...
Sort
View
142
Voted
IJSSE
2011
127views more  IJSSE 2011»
14 years 9 months ago
A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints
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
177
Voted
COMPSAC
2011
IEEE
14 years 2 months ago
Conformance Checking with Constraint Logic Programming: The Case of Feature Models
Raúl Mazo, Robert Erick Lopez-Herrejon, Cam...
86
Voted
AADEBUG
2000
Springer
15 years 7 months ago
Slicing of Constraint Logic Programs
Gyöngyi Szilágyi, Tibor Gyimóth...
160
Voted
CCL
1999
Springer
15 years 6 months ago
Functional and Constraint Logic Programming
Mario Rodríguez-Artalejo