850 search results - page 129 / 170 » A Logic Programming Language Based on Binding Algebras |
209
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
109
click to vote
ICSE
2003
IEEE-ACM
15 years 6 months ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
107
click to vote
CP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
125
click to vote
JOT
2010
14 years 11 months ago
2010
The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of software systems that we develop. The benefits of this paradigm, such as reuse, enhan...
102
click to vote
ENTCS
2006
15 years 1 months ago
2006
Community decisions about access control in virtual communities are non-monotonic in nature. This means that they cannot be expressed in current, monotonic trust management langua...