1001 search results - page 115 / 201 » Testing Formal Dialectic |
161
Voted
AIED
2005
Springer
16 years 29 days ago
2005
Springer
Politeness may play a role in tutorial interaction, including promoting learner motivation and avoiding negative affect. Politeness theory can account for this as a means of mitiga...
189
Voted
AIME
2005
Springer
16 years 29 days ago
2005
Springer
Time, events, changes, and processes play a major role in medical conceptual modeling. Representation of time-structures and reasoning about time-oriented medical data are importan...
182
click to vote
CONCUR
2005
Springer
16 years 29 days ago
2005
Springer
Many decidability results are known for non-recursive cryptographic protocols, where the protocol steps can be expressed by simple rewriting rules. Recently, a tree transducer-base...
205
click to vote
UML
2005
Springer
16 years 27 days ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
203
Voted
ISW
2004
Springer
16 years 23 days ago
2004
Springer
Abstract Ajay Chander1 , Drew Dean2 , and John Mitchell3 1 DoCoMo Communications Laboratories USA, San Jose, CA 95110 2 Computer Science Laboratory, SRI International, Menlo Park, ...