Sciweavers

1812 search results - page 131 / 363
» Dynamic Updating of Software Systems Based on Aspects
Sort
View
IIWAS
2008
15 years 7 months ago
A model-prover for constrained dynamic conversations
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
Diletta Cacciagrano, Flavio Corradini, Rosario Cul...
CONCUR
2001
Springer
15 years 11 months ago
The Control of Synchronous Systems, Part II
Abstract. A controller is an environment for a system that achieves a particular control objective by providing inputs to the system without constraining the choices of the system....
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. ...
ECOOP
2005
Springer
15 years 12 months ago
Towards Type Inference for JavaScript
Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the runtime modification of objects and classes ...
Christopher Anderson, Paola Giannini, Sophia Dross...
ICPR
2010
IEEE
15 years 6 months ago
Adaptive Incremental Learning with an Ensemble of Support Vector Machines
The incremental updating of classifiers implies that their internal parameter values can vary according to incoming data. As a result, in order to achieve high performance, incre...
Marcelo N. Kapp, Robert Sabourin, Patrick Maupin
ICDE
2008
IEEE
139views Database» more  ICDE 2008»
16 years 7 months ago
Maintaining Connectivity in Dynamic Multimodal Network Models
Network data models are frequently used as a mechanism to describe the connectivity between spatial features in many emerging GIS applications (location-based services, transporta...
Petko Bakalov, Erik G. Hoel, Wee-Liang Heng, Vassi...