12774 search results - page 2393 / 2555 » A Framework for Proof Systems |
166
click to vote
SACMAT
2003
ACM
15 years 11 months ago
2003
ACM
Authorization policy infrastructures are evolving with the complex environments that they support. However, the requirements and technologies supporting context are not yet well u...
190
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
This paper describes the implementation and evaluation of a framework for modeling emotions in complex, decision-making agents. Sponsored by U.S. Army Research Institute (ARI), th...
309
click to vote
UM
2010
Springer
15 years 11 months ago
2010
Springer
The field of intelligent tutoring systems has been using the well known knowledge tracing model, popularized by Corbett and Anderson (1995) to track individual users’ knowledge f...
170
click to vote
GLVLSI
2002
IEEE
15 years 11 months ago
2002
IEEE
Design simplification is becoming necessary to respect the target time-to-market of SoCs, and this goal can be obtained by using predesigned IP-cores. However, their correct inte...
166
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Software is multidimensional but the tools that support it are not. The lack of tool support causes the software artifacts representing different dimensions to evolve independentl...