Sciweavers

1458 search results - page 176 / 292
» System Model-Based Definition of Modeling Language Semantics
Sort
View
ICPR
2004
IEEE
15 years 11 months ago
Rejection Strategies for Offline Handwritten Sentence Recognition
This paper investigates three different rejection strategies for offline handwritten sentence recognition. The rejection strategies are implemented as a postprocessing step of a H...
Horst Bunke, Matthias Zimmermann, Roman Bertolami
SAC
1998
ACM
15 years 2 months ago
Open, distributed coordination with finesse
Coordination languages have recently been attracting signi cant attention as a means of programming parallel and distributed systems. The approach of separating coordination from ...
Andrew Berry, Simon M. Kaplan
REX
1993
15 years 2 months ago
Relationships Between Models of Concurrency
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
Mogens Nielsen, Vladimiro Sassone, Glynn Winskel
EMSOFT
2006
Springer
15 years 1 months ago
Polychronous mode automata
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...
Jean-Pierre Talpin, Christian Brunette, Thierry Ga...
CAISE
2008
Springer
15 years 2 days ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek