3914 search results - page 178 / 783 » Automating SLA modeling |
IEEESCC
2007
IEEE
14 years 2 months ago
2007
IEEE
The Service-Oriented Computing (SOC) paradigm promotes the use of basic composition units – services – to support the rapid development of distributed applications. Service co...
ESWS
2007
Springer
14 years 2 months ago
2007
Springer
Automating business processes especially in the tertiary sector is still a challenge as they are normally knowledge intensive, little automated but compliance relevant. To meet the...
GI
2005
Springer
14 years 1 months ago
2005
Springer
: In order to improve the automation rate of state-of-the-art IVR systems we introduce the application of two key technologies. Semantic processing is performed to analyze the inpu...
LICS
2002
IEEE
14 years 29 days ago
2002
IEEE
We investigate NLTL, a linear-time temporal logic with forgettable past. NLTL can be exponentially more succinct than LTL + Past (which in turn can be more succinct than LTL). We ...
LPAR
2001
Springer
14 years 14 days ago
2001
Springer
Logical omniscience is a well known problem which makes traditional modal logics of knowledge, belief and intentions somewhat unrealistic from the point of view of modelling the be...