1481 search results - page 252 / 297 » Enriching the Software Development Process by Formal Methods |
EUROSYS
2006
ACM
15 years 9 months ago
2006
ACM
—Restoring data operations after a disaster is a daunting task: how should recovery be performed to minimize data loss and application downtime? Administrators are under consider...
128
click to vote
TES
2001
Springer
15 years 4 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
102
click to vote
WISE
2003
Springer
15 years 5 months ago
2003
Springer
The web-services stack of standards is designed to support the reuse and interoperation of software components on the web. A critical step, to that end, is service discovery, i.e....
103
click to vote
SIGSOFT
2009
ACM
15 years 6 months ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
196
click to vote
AADEBUG
2005
Springer
15 years 5 months ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...