6274 search results - page 609 / 1255 » Proofs, Programs, Processes |
185
click to vote
ICALP
2009
Springer
15 years 12 months ago
2009
Springer
We study the impact on observational semantics for SOC of priority mechanisms which combine dynamic priority with local pre-emption. We define manageable notions of strong and wea...
179
Voted
JAVA
2001
Springer
15 years 11 months ago
2001
Springer
12 The Java platform has many characteristics that make it very desirable for integrated continuous media processing. Unfortunately, it lacks the necessary CPU resource management ...
203
click to vote
ECOOP
1994
Springer
15 years 11 months ago
1994
Springer
Product configuration management is presented as a practical application for a prototype-based object model. Data model requirements for a configuration system are first introduced...
181
click to vote
PADL
2000
Springer
15 years 10 months ago
2000
Springer
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
217
click to vote
DICS
2006
15 years 9 months ago
2006
Abstract. Group communication is a programming abstraction that allows a distributed group of processes to provide a reliable service in spite of the possibility of failures within...