Sciweavers

2231 search results - page 126 / 447
» Alternation as a programming paradigm
Sort
View
134
Voted
ESOP
2007
Springer
15 years 10 months ago
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
Maria Grazia Buscemi, Ugo Montanari
EMSOFT
2003
Springer
15 years 9 months ago
Schedule-Carrying Code
We introduce the paradigm of schedule-carrying code (SCC). A hard real-time program can be executed on a given platform only if there exists a feasible schedule for the real-time t...
Thomas A. Henzinger, Christoph M. Kirsch, Slobodan...
ECOOP
2010
Springer
15 years 9 months ago
Type-Safe Eventful Sessions in Java
Event-driven programming is a major paradigm in concurrent and communication-based programming, and a widely adopted approach to building scalable high-concurrency servers. However...
Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, No...
CSMR
2008
IEEE
15 years 10 months ago
Modularity-Oriented Refactoring
Refactoring, in spite of widely acknowledged as one of the best practices of object-oriented design and programming, still lacks quantitative grounds and efficient tools for tasks...
Sergio Bryton, Fernando Brito e Abreu
ECOOP
1992
Springer
15 years 8 months ago
Object-Oriented Multi-Methods in Cecil
Multiple dispatching provides increased expressive power over single dispatching by guiding method lookup using the values of all arguments instead of only the receiver. However, ...
Craig Chambers