786 search results - page 44 / 158 » A static theory of promises |
ECOWS
2006
Springer
15 years 1 months ago
2006
Springer
Traditional process support systems offer the promise of software assembled from service elements. The typical approach is a static composition of atomic processes to more powerfu...
ACCV
2010
Springer
14 years 5 months ago
2010
Springer
Part Models Pablo Sala1 , Diego Macrini2 , and Sven Dickinson1 1 University of Toronto, 2 Queen's University Abstract. In recent work [1], we introduced a framework for modelr...
ICC
2007
IEEE
15 years 1 months ago
2007
IEEE
This paper reports on a promising approach for solving problems found when Multi Protocol Label Switching (MPLS), soon to be a dominant protocol, is used in core network systems. D...
117
click to vote
ICDE
2012
IEEE
13 years 11 days ago
2012
IEEE
— Accurate query performance prediction (QPP) is central to effective resource management, query optimization and query scheduling. Analytical cost models, used in current genera...
EUROSYS
2009
ACM
15 years 7 months ago
2009
ACM
Program source is an intermediate representation of software; it lies between a developer’s intention and the hardware’s execution. Despite advances in languages and developme...