Sciweavers

833 search results - page 125 / 167
» A Domain Specific Language for Project Execution Models
Sort
View
APSEC
2007
IEEE
14 years 2 months ago
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
João M. Fernandes, Jens Bæk Jø...
DSVIS
2000
Springer
14 years 11 days ago
Wisdom - A UML Based Architecture for Interactive Systems
Abstract. The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it’s support for building interactive systems is still acknow...
Nuno Jardim Nunes, João Falcão e Cun...
ACL
2006
13 years 9 months ago
A Discriminative Global Training Algorithm for Statistical MT
This paper presents a novel training algorithm for a linearly-scored block sequence translation model. The key component is a new procedure to directly optimize the global scoring...
Christoph Tillmann, Tong Zhang
IFIP
1999
Springer
14 years 9 days ago
Assessing Instructional Technology
: In a relatively short period of time, educational technology has become a basic component of the instructional life of almost every College or University around the world. The wa...
Lawrence M. Baldwin, Panagiotis Takis Metaxas, Win...
CAISE
2006
Springer
13 years 11 months ago
Semantic Annotation Framework to Manage Semantic Heterogeneity of Process Models
Effective discovery and sharing of process models within and/or across enterprises are important in process model management. A semantic annotation approach has been applied for sp...
Yun Lin, Darijus Strasunskas, Sari Hakkarainen, Jo...