Sciweavers

608 search results - page 52 / 122
» Method Engineering: Towards Methods as Services
Sort
View
AIR
2008
97views more  AIR 2008»
13 years 9 months ago
A design framework for metaheuristics
This paper is concerned with taking an engineering approach towards the application of metaheuristic problem solving methods, i.e. heuristics that aim to solve a wide variety of p...
Colin G. Johnson
TCBB
2008
137views more  TCBB 2008»
13 years 9 months ago
Toward Verified Biological Models
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Adm...
ETRICS
2006
14 years 20 days ago
Optimized Workflow Authorization in Service Oriented Architectures
Abstract. Complex business processes are usually realized by specifying the integration and interaction of smaller modular software components. For example, hitherto monolithic ent...
Martin Wimmer, Martina-Cezara Albutiu, Alfons Kemp...
JUCS
2008
147views more  JUCS 2008»
13 years 9 months ago
Cost Model for Bitstream Access Services with QoS Parameters
: The European Regulator Group (ERG) defines Bitstream Access Service as a wholesale service offered by a broadband network operator with significant market power to an Internet Se...
Laura Rodríguez de Lope, Klaus D. Hackbarth
CBSQ
2003
Springer
14 years 2 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon