2226 search results - page 364 / 446 » Pdk: The System and Its Language |
162
click to vote
ICLP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...
177
click to vote
ISW
2004
Springer
15 years 11 months ago
2004
Springer
We present a model of access control which provides fine-grained data-dependent control, can express permissions about permissions, can express delegation, and can describe syste...
164
click to vote
APSEC
2003
IEEE
15 years 11 months ago
2003
IEEE
We developed XVCL (XML-based Variant Configuration Language), a method and tool for product lines, to facilitate handling variants in reusable software assets (such as architectur...
181
click to vote
LAWEB
2003
IEEE
15 years 11 months ago
2003
IEEE
RDF is the first W3C standard for enriching information resources of the Web with detailed meta data. The semantics of RDF data is defined using a RDF schema. The most expressiv...
166
click to vote
PADS
2003
ACM
15 years 11 months ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...