10038 search results - page 537 / 2008 » Model Checking for Managers |
212
click to vote
SIGDIAL
2010
15 years 5 months ago
2010
This paper introduces a new dialogue management framework for goal-directed conversations. A declarative specification defines the domain-specific elements and guides the dialogue...
147
click to vote
HCI
2009
15 years 5 months ago
2009
The review starts with the assessment of needs for health promotion, particularly drawing upon the aging of the workforce in Europe and U.S. Basic intervention models for work site...
257
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
MIPv6 is the IPv6 based mobility management protocol and it is expected to become the mobility management protocol of choice for the Next Generation Wireless Access Networks. In o...
197
click to vote
ICCD
2003
IEEE
16 years 4 months ago
2003
IEEE
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...
192
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...