Sciweavers

879 search results - page 45 / 176
» A Constraint Programming Approach for the Service Consolidat...
Sort
View
CORR
2008
Springer
90views Education» more  CORR 2008»
15 years 19 days ago
A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem
Determining the evolutionary history of a given biological data is an important task in biological sciences. Given a set of quartet topologies over a set of taxa, the Maximum Quart...
António Morgado, João P. Marques Sil...
117
Voted
APSCC
2009
IEEE
15 years 5 months ago
The description and calculation of quality of composite services
With the widespread of Web Services (WS), more deployed services are being registered into a services registry, consequently giving rise to a series of problems. A conspicuous one...
Meng Li, Hao-peng Chen, Nan Wang
SCAM
2008
IEEE
15 years 7 months ago
Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
Lei Wang, Qiang Zhang, PengChao Zhao
SEMWEB
2007
Springer
15 years 6 months ago
OWL-Q for Semantic QoS-based Web Service Description and Discovery
Abstract. Semantic Web Services are emerging for their promise to produce a more accurate and precise Web Service discovery process. However, most of research approaches focus only...
Kyriakos Kritikos, Dimitris Plexousakis
100
Voted
JCP
2008
178views more  JCP 2008»
15 years 16 days ago
Building Design Optimization Using Sequential Linear Programming
-In this paper a nonlinear programming approach is used for the minimization of total communication cost to determine the optimum room dimensions for each room. The nonlinear progr...
Rekha Bhowmik