1796 search results - page 186 / 360 » An Approach to Compositional Model Checking |
90
Voted
COMPSAC
2002
IEEE
15 years 5 months ago
2002
IEEE
Component-based reuse is a hopeful solution to the software crisis. Research on software architecture (SA) has revealed a component-based vision of the gross structure of software...
ASAP
1997
IEEE
15 years 4 months ago
1997
IEEE
In this paper we present an approach for quantitative analysis of application-specific dataflow architectures. The approach allows the designer to rate design alternatives in a qu...
111
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Modern feature-rich telecommunications services offer significant opportunities to human users. To make these services more usable, facilitating personalisation is very important s...
119
Voted
TSE
2010
14 years 11 months ago
2010
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...
112
Voted
ISPW
2009
IEEE
15 years 7 months ago
2009
IEEE
Web service orchestration is popular because the application logic is defined from a central and unique point of view, but it suffers from scalability issues. In choreography, the ...