3765 search results - page 89 / 753 » Formal Methods for Systems Engineering Behavior Models |
105
click to vote
COMPSAC
2010
IEEE
15 years 11 days ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...
164
click to vote
TIM
2010
14 years 9 months ago
2010
Polynomial chaos theory (PCT) has been proven to be an efficient and effective way to represent and propagate uncertainty through system models and algorithms in general. In partic...
111
click to vote
COMPSAC
2010
IEEE
15 years 11 days ago
2010
IEEE
Web services and service-oriented architecture (SOA) have become the de facto standard for designing distributed and loosely coupled applications. Many servicebased applications de...
118
click to vote
SIGSOFT
2004
ACM
16 years 3 months ago
2004
ACM
Defect-occurrence projection is necessary for the development of methods to mitigate the risks of software defect occurrences. In this paper, we examine user-reported software def...
126
click to vote
FORMATS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...