10707 search results - page 358 / 2142 » Designing executable abstractions |
136
click to vote
HPCN
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. In this paper we discuss the concept of space-time diagrams as a representation of the execution of an application, and then give a method, based on critical path analysi...
232
click to vote
ARCS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract: Executing complex applications on Grid infrastructures necessitates the guaranteed allocation of multiple resources. Such guarantees are often implemented by means of adv...
135
click to vote
JURIX
2008
15 years 6 months ago
2008
Abstract. This paper provides a novel mechanism to check whether business processes are compliant with business rules regulating them. The key point is that compliance is a relatio...
127
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem be...
123
click to vote
ANOR
2006
15 years 4 months ago
2006
Abstract. We investigate the quality of solutions obtained from sample-average approximations to two-stage stochastic linear programs with recourse. We use a recently developed sof...