3914 search results - page 145 / 783 » Automating SLA modeling |
122
Voted
CL
2000
Springer
15 years 2 months ago
2000
Springer
The extension of the XSL (eXtensible Style sheet Language) by variables and passing of data values between template rules has generated a powerful XML query language: XSLT (eXtens...
110
Voted
CL
1999
Springer
15 years 2 months ago
1999
Springer
Abstract The Ada language has been designed to support development of concurrent and distributed software. While the Ada83 standard defined the basic mechanisms of rendezvous-based...
128
click to vote
CADE
2007
Springer
15 years 8 months ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
167
Voted
LICS
2012
IEEE
13 years 5 months ago
2012
IEEE
—Data trees are trees in which each node, besides carrying a label from a finite alphabet, also carries a data value infinite domain. They have been used as an abstraction mode...
131
click to vote
KBSE
2002
IEEE
15 years 7 months ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...