7340 search results - page 1220 / 1468 » The Behavior of Tutoring Systems |
171
click to vote
OTM
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Business process models play an important role for the management, design, and improvement of process organizations and processaware information systems. Despite the exte...
173
click to vote
RAID
2007
Springer
16 years 22 days ago
2007
Springer
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
162
click to vote
SEKE
2007
Springer
16 years 22 days ago
2007
Springer
We define adaptability as the capacity of software in adjusting its behavior in response to changing conditions. To list just a few examples, adaptability is important in pervasiv...
166
click to vote
TACAS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...
157
click to vote
TACAS
2007
Springer
16 years 22 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...