8109 search results - page 338 / 1622 » A Model of Component-Based Programming |
174
click to vote
DALT
2005
Springer
16 years 5 days ago
2005
Springer
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...
180
click to vote
LPNMR
2004
Springer
16 years 2 days ago
2004
Springer
We investigate a generalization of weight-constraint programs with stable semantics, as implemented in the ASP solver smodels. Our programs admit atoms of the form X, F where X is ...
168
click to vote
LOPSTR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
151
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
169
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper shows that asynchronous fault detection is a practical way to reflect partial failure in a network-transparent distributed programming language. In the network...