Sciweavers

5034 search results - page 86 / 1007
» A Content-Centric Development Process Model
Sort
View
ENTCS
2007
98views more  ENTCS 2007»
15 years 2 months ago
Frameworks Based on Templates for Rigorous Model-driven Development
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
Nuno Amálio, Fiona Polack, Susan Stepney
ACL
1998
15 years 3 months ago
A Model for Robust Processing of Spontaneous Speech by Integrating Viable Fragments
We describe the design and function of a robust processing component which is being developed for the Verbmobil speech translation system. Its task consists of collecting partial ...
Karsten L. Worm
CCE
2006
15 years 2 months ago
Modeling and temperature control of rapid thermal processing
In the past few years, Rapid Thermal Processes (RTP) have gained acceptance as mainstream technology for semi-conductors manufacturing. These processes are characterized by a sing...
Eyal Dassau, Benyamin Grosman, Daniel R. Lewin
CASCON
2010
204views Education» more  CASCON 2010»
14 years 9 months ago
Effective collaboration and consistency management in business process modeling
ion and giving them a medium to express and implement change. One of the keys to achieve agility for creating business processes depends on close interaction between IT department ...
Moises Castelo Branco, Yingfei Xiong, Krzysztof Cz...
UML
2005
Springer
15 years 8 months ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...