Sciweavers

4067 search results - page 303 / 814
» Programs for Applying Symmetries
Sort
View
HOTDEP
2008
122views Hardware» more  HOTDEP 2008»
15 years 9 months ago
Dependable Self-Hosting Distributed Systems Using Constraints
We describe a technique for writing distributed applications which manage themselves over one or more utility computing infrastructures: by dynamically acquiring new computational...
Qin Yin, Justin Cappos, Andrew Baumann, Timothy Ro...
177
Voted
AAAI
2006
15 years 8 months ago
kFOIL: Learning Simple Relational Kernels
A novel and simple combination of inductive logic programming with kernel methods is presented. The kFOIL algorithm integrates the well-known inductive logic programming system FO...
Niels Landwehr, Andrea Passerini, Luc De Raedt, Pa...
192
Voted
IADIS
2003
15 years 8 months ago
Concerns vs Components for Web Development
The Web has been growing and evolving in the last couple of decades at a very high speed, causing web applications to be more and more complex. Aspect oriented programming gives u...
Antonia M. Reina Quintero, Jesus Torres Valderrama...
CORR
2008
Springer
153views Education» more  CORR 2008»
15 years 6 months ago
Decomposition Techniques for Subgraph Matching
In the constraint programming framework, state-of-the-art static and dynamic decomposition techniques are hard to apply to problems with complete initial constraint graphs. For suc...
Stéphane Zampelli, Martin Mann, Yves Devill...
SP
2008
IEEE
134views Security Privacy» more  SP 2008»
15 years 6 months ago
Expressive Declassification Policies and Modular Static Enforcement
This paper provides a way to specify expressive declassification policies, in particular, when, what, and where policies that include conditions under which downgrading is allowed...
Anindya Banerjee, David A. Naumann, Stan Rosenberg