13271 search results - page 454 / 2655 » Computers, Programming, and People |
212
Voted
ASP
2005
Springer
16 years 12 days ago
2005
Springer
This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...
202
Voted
EUROPAR
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
220
Voted
ICCL
1994
IEEE
15 years 11 months ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...
169
click to vote
JUCS
2008
15 years 6 months ago
2008
: Functional programs often combine separate parts of the program using intermediate data structures for communicating results. Programs so defined are easier to understand and mai...
183
click to vote
TR
2008
15 years 6 months ago
2008
We consider the problem of maximizing the reliability of a series-parallel system given cost and weight constraints on the system. The number of components in each subsystem and th...