489 search results - page 45 / 98 » Reasoning about confidentiality at requirements engineering ... |
100
Voted
EMSOFT
2008
Springer
15 years 2 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
73
Voted
ALIFE
2004
15 years 11 days ago
2004
Toys and play-things are often engineered to replicate the character of real organisms. In the past, inventors often lavished great expense on their life-like automata, their cons...
81
Voted
ISSRE
2000
IEEE
15 years 4 months ago
2000
IEEE
The behavior of nondeterminate systems can be hard to predict, since similar inputs at different times can generate different outputs. In other words, the behavior seen during tes...
116
Voted
ICFEM
2005
Springer
15 years 6 months ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
UIST
2004
ACM
15 years 6 months ago
2004
ACM
Powerful mobile devices with minimal I/O capabilities increase the likelihood that we will want to annex these devices to I/O resources we encounter in the local environment. This...