Sciweavers

5034 search results - page 205 / 1007
» A Content-Centric Development Process Model
Sort
View
130
Voted
DAC
1997
ACM
15 years 7 months ago
Modeling Design Tasks and Tools: The Link Between Product and Flow Model
- The important step towards a comprehensive CAD framework is the development of a suitable, complete design model on which the design system’s components are based. To date, we ...
Bernd Schürmann, Joachim Altmeyer
138
Voted
EMNLP
2010
15 years 1 months ago
It Depends on the Translation: Unsupervised Dependency Parsing via Word Alignment
We reveal a previously unnoticed connection between dependency parsing and statistical machine translation (SMT), by formulating the dependency parsing task as a problem of word a...
Samuel Brody
118
Voted
UML
2005
Springer
15 years 9 months ago
Modeling and Analysis of Real-Time and Embedded Systems
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...
Susanne Graf, Sébastien Gérard, &Osl...
113
Voted
SAC
1998
ACM
15 years 7 months ago
A specification language for the WIDE workflow model
This paper presents a workflow specification language developed in the WIDE project. The language provides a rich organisation model, an information model including presentation d...
Daniel K. C. Chan, Jochem Vonk, Gabriel Sanchez, P...
NFM
2011
264views Formal Methods» more  NFM 2011»
14 years 10 months ago
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Mich...