Sciweavers

2303 search results - page 211 / 461
» Interior-Point Methods in Parallel Computation
Sort
View
CCGRID
2006
IEEE
15 years 7 months ago
An Ontology-Based Conceptual Mapping Framework for Translating FBPML to the Web Services Ontology
This paper presents an ontology-based conceptual mapping framework that translates a formal and visually rich business process modeling (BPM) language, Fundamental Business Proces...
Gayathri Nadarajan, Yun-Heh Chen-Burger
FTDCS
2004
IEEE
15 years 7 months ago
GT-P2PRMI: Improving Middleware Performance Using Peer-to-Peer Service Replication
Peer-to-peer systems have the desirable property that the amount of resources available in the system increase as demand for services increases due to growth of the system. We exp...
Tianying Chang, Mustaque Ahamad
PPSN
2000
Springer
15 years 7 months ago
Competitive Segmentation: A Struggle for Image Space
In this paper, we propose a competitive image segmentation algorithm. It is a dynamic evolving optimization method, which we call the population algorithm. The method is inspired f...
Cor J. Veenman, Marcel J. T. Reinders, Eric Backer
ASM
2008
ASM
15 years 5 months ago
The Composition of Event-B Models
The transition from classical B [2] to the Event-B language and method [3] has seen the removal of some forms of model structuring and composition, with the intention of reinventin...
Michael Poppleton
APPT
2005
Springer
15 years 5 months ago
Probabilistic Continuous Update Scheme in Location Dependent Continuous Queries
It is difficult to maintain the exact location of mobile objects due to the limited resources in a mobile network. A consequence of this problem is that the update cost for a locat...
Song Han, Edward Chan