3914 search results - page 287 / 783 » Automating SLA modeling |
131
Voted
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
130
Voted
CL
2010
Springer
15 years 2 months ago
2010
Springer
Autonomous mobile programs (AMPs) offer a novel decentralised load management technology where periodic use is made of cost models to decide where to execute in a network. In this...
160
Voted
CL
2007
Springer
15 years 2 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
110
Voted
CSL
2002
Springer
15 years 2 months ago
2002
Springer
We describe a corpus-based approach to natural language generation (NLG). The approach has been implemented as a component of a spoken dialog system and a series of evaluations we...
120
Voted
LPAR
2010
Springer
15 years 15 days ago
2010
Springer
In this paper we introduce an extension of propositional logic that allows clauses to be weighted with values from a generic semiring. The main interest of this extension is that ...