Sciweavers

3719 search results - page 134 / 744
» RACER System Description
Sort
View
DICS
2006
15 years 8 months ago
Definition and Correct Refinement of Operation Specifications
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
Thomas Baar, Slavisa Markovic, Frédé...
ECAL
2007
Springer
16 years 12 days ago
Category Theoretical Distinction Between Autopoiesis and (M, R) Systems
Abstract. Some research works have mentioned the similarity of autopoiesis with (M,R) systems proposed by Rosen, from the perspective of closedness of the systems. However, there a...
Tatsuya Nomura
ACSD
2004
IEEE
102views Hardware» more  ACSD 2004»
15 years 10 months ago
Arrays and Contracts for the Specification and Analysis of Regular Systems
We explore a structuring mechanism for reactive systems, based on two ideas: array iterators allow the description of regular systems; logical-time contracts allow local or global...
Florence Maraninchi, Lionel Morel
143
Voted
DATE
1999
IEEE
115views Hardware» more  DATE 1999»
15 years 10 months ago
Case Study: System Model of Crane and Embedded Control
A case study of a crane is defined for the evaluation of system description languages. The plant (car and load) is given as a fourth-order linear system. The embedded control incl...
Eduard Moser, Wolfgang Nebel
134
Voted
ANLP
1997
74views more  ANLP 1997»
15 years 7 months ago
An English to Turkish Machine Translation System Using Structural Mapping
This paper describes the design and implementation of an English-Turkish machine translation (MT) system developed as a part of the TU-Language project supported by a NATO Science...
Cigdem Keyder Turhan