Sciweavers

8008 search results - page 658 / 1602
» Computer-Aided Language Processing
Sort
View
161
Voted
EPEW
2005
Springer
16 years 25 days ago
Executable Semantics for Compensating CSP
Compensation is an error recovery mechanism for long-running transactions. Compensating CSP is a variant of the CSP process algebra with constructs for orchestration of compensatio...
Michael J. Butler, Shamim Ripon
UM
2005
Springer
16 years 23 days ago
A Decomposition Model for the Layered Evaluation of Interactive Adaptive Systems
Abstract. A promising approach towards evaluating adaptive systems is to decompose the adaptation process and evaluate the system in a “piece-wise” manner. This paper presents ...
Alex Paramythis, Stephan Weibelzahl
FDL
2003
IEEE
16 years 17 days ago
A New Method for Modeling and Analysis of Accuracy and Tolerances in Mixed-Signal Systems
Tolerances are a very important property of a design. This paper presents a method for simulating tolerances in signal processing and control systems on the system level using a...
Wilhelm Heupke, Christoph Grimm, Klaus Waldschmidt
IFIPTCS
2000
15 years 11 months ago
An Asynchronous, Distributed Implementation of Mobile Ambients
Abstract We present a first distributed implementation of the CardelliGordon's ambient calculus. We use Jocaml as an implementation language and we present a formal translatio...
Cédric Fournet, Jean-Jacques Lévy, A...
145
Voted
ACL
2006
15 years 8 months ago
An Account for Compound Prepositions in Farsi
There are some sorts of `Preposition + Noun' combinations in Farsi that apparently a Prepositional Phrase almost behaves as Compound Prepositions. As they are not completely ...
Zahra Abolhassani Chime