Sciweavers

3429 search results - page 308 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
WIRTSCHAFTSINFORMATI
2007
15 years 6 months ago
Integration of Conceptual Process Models by the Example of Event-driven Process Chains
It has become common place in business life that companies with related operations engage in a so-called merger in order to benefit from synergies or from combined products and se...
Carlo Simon, Jan Mendling
ECRTS
1999
IEEE
15 years 9 months ago
Timed automaton models for simple programmable logic controllers
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...
Angelika Mader, Hanno Wupper
ACSC
2004
IEEE
15 years 8 months ago
Towards the Completion of the Formal Semantics of OCL 2.0
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...
Stephan Flake
IFIP
2010
Springer
14 years 11 months ago
Semantics of Trust
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with "strangers". This makes ...
Tim Muller
ICASSP
2011
IEEE
14 years 8 months ago
Automatically finding semantically consistent n-grams to add new words in LVCSR systems
This paper presents a new method to automatically add n-grams containing out-of-vocabulary (OOV) words to a baseline language model (LM), where these n-grams are sought to be gram...
Gwénolé Lecorvé, Guillaume Gr...