3914 search results - page 117 / 783 » Automating SLA modeling |
120
click to vote
EVOW
2001
Springer
15 years 7 months ago
2001
Springer
This work introduces a highly constrained school timetabling problem which was modeled from the requirements of a German high school. The concept for solving the problem uses a hyb...
133
Voted
HPDC
1999
IEEE
15 years 7 months ago
1999
IEEE
We present a performance-based methodology for designing a high-bandwidth radar application on commodity platforms. Unlike many real-time systems, our approach works for commodity...
134
Voted
KBSE
1997
IEEE
15 years 6 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
124
click to vote
ISMIS
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Spoken dialogue interfaces apply in a number of applications. Engaging in meaningful conversation presupposes the ability to recognize and generate different conversatio...
108
Voted
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
We present an approach to hybrid semantic Web service matching that complements logic based reasoning with approximate matching based on syntactic IR based similarity computations...