1004 search results - page 80 / 201 » Issues in Applying Empirical Software Engineering to Softwar... |
115
Voted
SAFECOMP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
124
click to vote
ISORC
2005
IEEE
15 years 6 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
CAISE
2005
Springer
15 years 6 months ago
2005
Springer
The rise of the number and complexity of pervasive systems is a fact. Pervasive systems developers need advanced development methods in order to build better systems in an easy way...
102
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we discuss several facets of optimization in cloud computing, the corresponding challenges and propose an architecture for addressing those challenges. We consider ...
116
click to vote
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
Software security issues have been a major concern to the cyberspace community, so a great deal of research on security testing has been performed, and various security testing te...