10707 search results - page 172 / 2142 » Designing executable abstractions |
116
Voted
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present jETI, a redesign of the Electronic Tools Integration platform (ETI), that addresses the major issues and concerns accumulated over seven years of experience wi...
183
Voted
CASCON
2010
14 years 10 months ago
2010
ion and giving them a medium to express and implement change. One of the keys to achieve agility for creating business processes depends on close interaction between IT department ...
141
Voted
WDAG
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Weak fairness guarantees that if an action is continuously enabled, it is executed infinitely often. Strong fairness, on the other hand, guarantees that actions that are...
127
Voted
ARCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Software applications executing in highly dynamic environments are faced with the challenge of frequent and usually unpredictable changes in their execution environment. ...
107
Voted
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The question we consider in this paper is: “When can a combination of fine-grain execution steps be contracted into an atomic action execution”? Our answer is basica...