7839 search results - page 299 / 1568 » What's there and what's not |
100
click to vote
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
In any forensic investigation, planning and analysis activities are required in order to determine what digital media will be seized, what types of information will be sought in t...
110
click to vote
AIED
2007
Springer
15 years 8 months ago
2007
Springer
This paper demonstrates how stereotypic student groups can be created to enhance cognitive models in computer tutors. Computer tutors use cognitive models to track what skills stud...
142
click to vote
EUC
2005
Springer
15 years 7 months ago
2005
Springer
As sensor networks mature the current generation of sensor networks that are application-specific and exposed only to a limited set of users will give way to heterogeneous sensor ...
103
click to vote
FC
2006
Springer
15 years 5 months ago
2006
Springer
With the increasing importance of correctly handling privacy-sensitive data, significant work has been put in expressing and enforcing privacy policies. Less work has been done ho...
130
click to vote
ASM
2010
ASM
15 years 5 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...