726 search results - page 106 / 146 » Formal Requirements Engineering: Learning from the Students |
SADFE
2009
IEEE
15 years 6 months ago
2009
IEEE
Increasingly advances in file carving, memory analysis and network forensics requires the ability to identify the underlying type of a file given only a file fragment. Work to dat...
RE
2007
Springer
15 years 6 months ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
ECBS
1996
IEEE
15 years 4 months ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
ICPR
2004
IEEE
16 years 28 days ago
2004
IEEE
: Significant progress has been made by the computer vision community in recent years along two fronts: (i) developing complex spatial-temporal models for object registration and t...
115
click to vote
ISOLA
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...