1031 search results - page 146 / 207 » On the Formal Development of Safety-Critical Software |
137
click to vote
SCESM
2006
ACM
15 years 6 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
136
Voted
RE
2006
Springer
15 years 18 days ago
2006
Springer
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...
103
click to vote
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
95
Voted
INFSOF
2002
15 years 11 days ago
2002
Use of commercial-off-the-shelf (COTS) products is becoming a popular software development method. Current methods of selecting COTS products involve using the intuition of softwa...
143
click to vote
TKDE
2012
13 years 3 months ago
2012
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...