248 search results - page 23 / 50 » Test exploration and validation using transaction level mode... |
ITS
2004
Springer
14 years 1 months ago
2004
Springer
Constructing a student model for language tutors is a challenging task. This paper describes using knowledge tracing to construct a student model of reading proficiency and validat...
IACR
2011
12 years 8 months ago
2011
In ASIACRYPT 2007, Vaudenay proposed a comprehensive privacy model for unilateral RFID schemes. Soon after, in ASIACCS 2008, Paise and Vaudenay presented a new version of the cited...
UML
2005
Springer
14 years 1 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
ICCAD
2002
IEEE
14 years 5 months ago
2002
IEEE
Voltage scheduling is indispensable for exploiting the benefit of variable voltage processors. Though extensive research has been done in this area, current processor limitations...
CAISE
2006
Springer
14 years 6 days ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...