597 search results - page 87 / 120 » E-Process Design and Assurance Using Model Checking |
COMPSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
95
Voted
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
85
Voted
IFIP13
2004
14 years 11 months ago
2004
: Function allocation, as a process used in the construction of dependable complex systems, is a significant aspect of the design and implementation of interactive systems. It invo...
122
Voted
RV
2010
Springer
14 years 8 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
108
click to vote
SAC
2010
ACM
15 years 5 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...