Sciweavers

27119 search results - page 323 / 5424
» Languages
Sort
View
IFIP
2009
Springer
15 years 11 months ago
Secure Information Flow for Distributed Systems
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
Rafael Alpízar, Geoffrey Smith
NLPRS
2001
Springer
15 years 11 months ago
Paraphrasing Spoken Japanese for Untangling Bilingual Transfer
One of the problems in spoken language translation is the enormous variety of expressions not found in text translation. This volume can lead to a sparse translation coverage. In ...
Kazuhide Yamamoto
ECAI
1992
Springer
15 years 10 months ago
Shift of Bias without Operators
Just as the order defined by generality over concepts allows concept induction to be performed without generalisation/specialisation operators, so too the order defined by set inc...
Claudio Carpineto
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
15 years 10 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
ICALP
2000
Springer
15 years 10 months ago
Graph Transformations on the UML Metamodel
The Unified Modeling Language UML is a rich language so that it seem not feasible to give a single semantics for the complete language in one ste In order to define the semantics,...
Martin Gogolla