3914 search results - page 663 / 783 » Automating SLA modeling |
112
click to vote
AIED
2009
Springer
15 years 11 months ago
2009
Springer
Self-questioning is an important reading comprehension strategy, so it would be useful for an intelligent tutor to help students apply it to any given text. Our goal is to help chi...
148
click to vote
ATC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. An Organic Computing system has the ability to autonomously (re-)organize and adapt itself. Such a system exhibits so called self-x properties (e.g. self-healing) and is ...
142
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
130
click to vote
ECSQARU
2009
Springer
15 years 11 months ago
2009
Springer
: A persuasion dialog is a dialog in which agents exchange arguments on a subject. In this kind of dialog, the agents disagree about the status of the subject and each one tries to...
124
Voted
FMCAD
2009
Springer
15 years 11 months ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...