Sciweavers

2752 search results - page 442 / 551
» Rounding to an Integral Program
Sort
View
KES
2005
Springer
15 years 12 months ago
Optimal Remediation Design in Groundwater Systems by Intelligent Techniques
Abstract. This research develops an optimal planning model for pump-treatinject based groundwater remediation systems. Optimizing the design of the pump-treat-inject system is a no...
Hone-Jay Chu, Chin-Tsai Hsiao, Liang-Cheng Chang
OTM
2005
Springer
15 years 12 months ago
Platform-Independent Object Migration in CORBA
Object mobility is the basis for highly dynamic distributed applications. This paper presents the design and implementation of mobile objects on the basis of the CORBA standard. Ou...
Rüdiger Kapitza, Holger Schmidt, Franz J. Hau...
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
15 years 12 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
VLSM
2005
Springer
15 years 12 months ago
A Study of Non-smooth Convex Flow Decomposition
We present a mathematical and computational feasibility study of the variational convex decomposition of 2D vector fields into coherent structures and additively superposed flow ...
Jing Yuan, Christoph Schnörr, Gabriele Steidl...
VMCAI
2005
Springer
15 years 12 months ago
Cryptographic Protocol Analysis on Real C Code
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
Jean Goubault-Larrecq, Fabrice Parrennes