Sciweavers

54 search results - page 5 / 11
» (Behavioural) Design Patterns as Composition Operators
Sort
View
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
13 years 11 months ago
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
Markus Scheidgen, Joachim Fischer
ICTCS
2005
Springer
14 years 26 days ago
Error Mining for Regular Expression Patterns
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
Giuseppe Castagna, Dario Colazzo, Alain Frisch
DSONLINE
2008
152views more  DSONLINE 2008»
13 years 7 months ago
Software Architecture Patterns for a Context-Processing Middleware Framework
Ubiquitous applications are characterised by variations of their execution context. Their correct operation requires some continual adaptations based on the observation of their e...
Romain Rouvoy, Denis Conan, Lionel Seinturier
CONCUR
2001
Springer
13 years 12 months ago
Compositional Modeling of Reactive Systems Using Open Nets
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Rei...
ICAPR
2009
Springer
14 years 1 months ago
Upper and Lower Grey-Level Adaptive Morphological Operators
Morphological operators designed for grey-scale functions process every points of the space identically whatever their luminance. In many situations however, it is interesting to ...
Corinne Vachier