5668 search results - page 846 / 1134 » The case for software evolution |
206
Voted
ICSEA
2007
IEEE
16 years 27 days ago
2007
IEEE
— With the mutual consent to use WSDL (Web Service Description Language) to describe web service interfaces and SOAP as the basic communication protocol, the cornerstone for web ...
173
click to vote
B
2007
Springer
16 years 25 days ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
220
click to vote
BTW
2007
Springer
16 years 25 days ago
2007
Springer
: For the integration of data that resides in autonomous data sources Software AG uses ontologies. Data source ontologies describe the data sources themselves. Business ontologies ...
175
click to vote
CISSE
2007
Springer
16 years 25 days ago
2007
Springer
In an ad-hoc Grid environment where producers and consumers compete for providing and employing resources, trade handling in a fair and stable way is a challenging task. Dynamic ch...
190
click to vote
ICSE
2007
IEEE-ACM
16 years 24 days ago
2007
IEEE-ACM
Composition of Web Services (WSs) is anticipated as the future standard way to dynamically build distributed applications, and hence their verification and validation is attractin...