Sciweavers

571 search results - page 93 / 115
» A principled approach to operating system construction in Ha...
Sort
View
IRI
2005
IEEE
15 years 6 months ago
Reusing legacy COBOL code with UML collaboration diagrams via a Wide Spectrum Language
Many legacy systems were developed in COBOL, which still play an important role in business. It is an unavoidable issue for organisations to maintain or replace these COBOL system...
Jianjun Pu, Zhuopeng Zhang, Yang Xu, Hongji Yang
ICDCS
2010
IEEE
15 years 5 months ago
Divide and Conquer Algorithms for Publish/Subscribe Overlay Design
Abstract—Overlay network design for topic-based publish/subscribe systems is of primary importance because the overlay directly impacts the system’s performance. Determining a ...
Chen Chen, Hans-Arno Jacobsen, Roman Vitenberg
AOSE
2007
Springer
15 years 7 months ago
A Goal-Oriented Software Testing Methodology
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
DILS
2006
Springer
15 years 4 months ago
Collection-Oriented Scientific Workflows for Integrating and Analyzing Biological Data
Steps in scientific workflows often generate collections of results, causing the data flowing through workflows to become increasingly nested. Because conventional workflow compone...
Timothy M. McPhillips, Shawn Bowers, Bertram Lud&a...
CPAIOR
2010
Springer
14 years 11 months ago
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
Peter J. Stuckey