8109 search results - page 213 / 1622 » A Model of Component-Based Programming |
185
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
175
click to vote
HIPS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper describes Rthreads (Remote threads), a software distributed shared memory system that supports sharing of global variables on clusters of computers with physically dist...
196
click to vote
CIBSE
2009
ACM
15 years 11 months ago
2009
ACM
We present a mechanism to derivate products of Software Product Lines (SPLs) using decision models. Our approach to create SPLs is based on Model Driven Engineering principles. It ...
197
click to vote
ARGMAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...
276
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We address a location-allocation problem that requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capaci...