859 search results - page 10 / 172 » Explaining Synthesized Software |
SC
2003
ACM
14 years 1 months ago
2003
ACM
Realistic workloads are essential in evaluating middleware for computational grids. One important component is the raw grid itself: a network topology graph annotated with the har...
SYNTHESE
2010
13 years 7 months ago
2010
This paper presents a novel semantic analysis of unit names (like pound and meter) and gradable adjectives (like tall, short and happy), inspired by measurement theory (Krantz et a...
ICDT
2010
ACM
14 years 1 months ago
2010
ACM
The paper formulates and investigates the aggregation problem for synthesized mediators of Web services (SWMs). An SWM is a finite-state transducer defined in terms of templates...
EON
2008
13 years 10 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
SOSYM
2010
13 years 7 months ago
2010
Model driven development (MDD) of software product lines (SPLs) merges two increasing important paradigms that synthesize programs by transformation. MDD creates programs by transf...