Sciweavers

7404 search results - page 153 / 1481
» New Tools in Education
Sort
View
IHI
2012
217views Healthcare» more  IHI 2012»
14 years 2 months ago
Declarative privacy policy: finite models and attribute-based encryption
Regulations and policies regarding Electronic Health Information (EHI) are increasingly complex. Federal and State policy makers have called for both education to increase stakeho...
Peifung E. Lam, John C. Mitchell, Andre Scedrov, S...
AUTOMATICA
2000
100views more  AUTOMATICA 2000»
15 years 6 months ago
A new stability analysis of switched systems
In this paper, we present a new stability analysis of switched systems. We introduce the concepts of minimum/maximum holding time and redundancy as a tool for Lyapunov stability. ...
S.-H. Lee, T.-H. Kim, J.-T. Lim
ICSE
2005
IEEE-ACM
16 years 6 months ago
Process issues in course projects
Defined software engineering process help teaching and guiding software engineering courses projects. However, using them raises several issues related to process and course featu...
Wilson P. Paula Filho
SIGCSE
2008
ACM
162views Education» more  SIGCSE 2008»
15 years 6 months ago
Automatic extraction of notions from course material
Formally defining the knowledge units taught in a course helps instructors ensure a sound coverage of topics and provides an objective basis for comparing the content of two cours...
Michela Pedroni, Manuel Oriol, Bertrand Meyer, Luk...
SE
2007
15 years 8 months ago
New test approach for embedded applications
: This paper is a tutorial on the principles and applications of static tion by Abstract Interpretation to development, verification and validation ded applications. The topics cov...
Alain Deutsch, Klaus Wissing