10038 search results - page 609 / 2008 » Model Checking for Managers |
205
Voted
AUIC
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper considers the problem of computer user support and workplace learning in general. Theoretically our work is influenced by ideas on knowledge management, expertise netwo...
199
Voted
BPM
2006
Springer
15 years 11 months ago
2006
Springer
Many business solutions provide best practice process templates, both generic as well as for specific industry sectors. However, it is often the variance from template solutions th...
187
click to vote
VLDB
2000
ACM
15 years 10 months ago
2000
ACM
Modern database applications show a growing demand for efficient and dynamic management of intervals, particularly for temporal and spatial data or for constraint handling. Common...
174
Voted
CSREASAM
2004
15 years 8 months ago
2004
We model a private key's life cycle as a finite state machine. The states are the key's phases of life and the transition functions describe tasks to be done with the key...
182
Voted
FLAIRS
2006
15 years 8 months ago
2006
1 In the classic educational context, observing and identifying learner's emotional response allow the teacher to adapt the lesson, with the aim of improving the quality of th...