3376 search results - page 498 / 676 » Analyzing Software Evolvability |
140
click to vote
CSSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—With the development of the Internet, the need of city 3D data is rising more and more, and the emphasis shifts from analysis to the sharing of city 3D data and information over...
174
click to vote
ICST
2008
IEEE
16 years 29 days ago
2008
IEEE
If access control policy decision points are not neatly separated from the business logic of a system, the evolution of a security policy likely leads to the necessity of changing...
168
click to vote
KBSE
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
197
click to vote
TASE
2008
IEEE
16 years 28 days 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...
188
click to vote
WCRE
2008
IEEE
16 years 28 days ago
2008
IEEE
High-level software artifacts, such as requirements, domain-specific requirements, and so on, are an important source of information that is often neglected during the reverse- an...