733 search results - page 68 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
169
click to vote
TES
2001
Springer
15 years 8 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
168
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...
155
click to vote
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...
166
click to vote
LOPSTR
2007
Springer
15 years 10 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
129
click to vote
DOCENG
2006
ACM
15 years 10 months ago
2006
ACM
In some hypermedia system applications, like interactive digital TV applications, authoring and presentation of documents may have to be done concomitantly. This is the case of li...