Sciweavers

708 search results - page 102 / 142
» Automated software development with XML and the Java* langua...
Sort
View
HICSS
2006
IEEE
118views Biometrics» more  HICSS 2006»
14 years 1 months ago
Semantic Web Service Discovery in the OWL-S IDE
The increasing availability of web services necessitates efficient discovery and execution framework. The use of xml at various levels of web services standards poses challenges t...
Naveen Srinivasan, Massimo Paolucci, Katia P. Syca...
ENTCS
2008
140views more  ENTCS 2008»
13 years 7 months ago
Linking Event-B and Concurrent Object-Oriented Programs
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
Andrew Edmunds, Michael Butler
INFORMATICALT
2002
91views more  INFORMATICALT 2002»
13 years 7 months ago
Bayesian Heuristic Approach to Scheduling
Abstract. Real life scheduling problems are solved by heuristics with parameters defined by experts, as usual. In this paper a new approach is proposed where the parameters of vari...
Jonas Mockus
GECCO
2007
Springer
174views Optimization» more  GECCO 2007»
14 years 1 months ago
Investigating data-flow coverage of classes using evolutionary algorithms
It is not unusual for a software development organization to expend 40 percent of total project effort on testing, which can be a very laborious and time-consuming process. Thus, ...
Konstantinos Liaskos, Marc Roper, Murray Wood
APWEB
2007
Springer
14 years 1 months ago
Untyped XQuery Canonization
XQuery is a powerful language defined by the W3C to query XML documents. Its query functionalities and its expressiveness satisfy the major needs of both the database community an...
Nicolas Travers, Tuyet-Tram Dang-Ngoc, Tianxiao Li...