Sciweavers

1134 search results - page 107 / 227
» Using Constraints with Action Language for Model Evolution
Sort
View
VL
2002
IEEE
105views Visual Languages» more  VL 2002»
15 years 11 months ago
A Visual Framework for Modelling with Heterogeneous Notations
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...
Jean Flower, John Howse, John Taylor, Stuart Kent
FM
1997
Springer
126views Formal Methods» more  FM 1997»
15 years 10 months ago
Reconciling Real-Time with Asynchronous Message Passing
At rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In thi...
Manfred Broy, Radu Grosu, Cornel Klein
ICASSP
2011
IEEE
14 years 9 months ago
Score fusion and calibration in multiple language detectors with large performance variation
In a large-scale language detection task, performance variation found between different component systems and different target languages has an adverse effect to the pooled error ...
Raymond W. M. Ng, Cheung-Chi Leung, Tan Lee, Bin M...
ERLANG
2003
ACM
15 years 11 months ago
Extending the VoDKA architecture to improve resource modelling
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...
Juan José Sánchez Penas, Carlos Abal...
IEEESCC
2007
IEEE
16 years 19 days ago
A Meta-Model Approach for the Deployment of Services-oriented Applications
This paper presents a meta-model based approach to services applications deployment on constrained Execution Environments (EEs) which contain heterogeneous services implementation...
Antonin Chazalet, Philippe Lalanda