10038 search results - page 571 / 2008 » Model Checking for Managers |
235
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
209
click to vote
ESANN
2003
15 years 8 months ago
2003
: In flood management it is important to reliably estimate the discharge in a river. Hydrologists use historic data to establish a rating curve – a relationship between the water...
173
click to vote
ECAI
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. In this paper we describe a framework for defining and operationalizing conceptual models of distributed knowledge-based systems which extends published approaches by the...
187
click to vote
FLAIRS
2004
15 years 8 months ago
2004
We describe a dialogue management approach that adapts dialogue strategies to a changing user model under the constraint that the approach be able to scale up rapidly for intellig...
160
click to vote
DANCE
2002
IEEE
16 years 5 days ago
2002
IEEE
Current networks require ad-hoc operating procedures by expert administrators to handle changes. These configuration management operations are costly and error prone. Active netwo...