4800 search results - page 639 / 960 » OO Distributed Programming is Not Distributed OO Programming |
172
click to vote
CONCUR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
155
Voted
CP
2007
Springer
16 years 25 days ago
2007
Springer
Preferences and uncertainty are common in many real-life problems. In this paper, we focus on bipolar preferences and on uncertainty modelled via uncontrollable variables. However,...
160
click to vote
ESAW
2007
Springer
16 years 25 days ago
2007
Springer
The ubiquity of our increasingly distributed and complex computing environments have necessitated the development of programming approaches and paradigms that can automatically man...
152
click to vote
EUROPAR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Transactional memory systems trade ease of programming with runtime performance losses in handling transactions. This paper focuses on starvation effects that show up in ...
165
click to vote
IFIP
2007
Springer
16 years 25 days ago
2007
Springer
The paper deals with the numerical treatment of optimal control problems with bounded distributed controls and elliptic state equations by a wider class of barrier-penalty methods...