Sciweavers

16606 search results - page 64 / 3322
» Context Modeling: Task Model and Practice Model
Sort
View
WSC
1997
15 years 4 months ago
Interactive Strategies for Developing Intuitive Knowledge as Basis for Simulation Modeling Education
This paper investigates theoretically based instructional approaches for organizational training, education and knowledge acquisition for simulation modeling. It proposes differen...
Tajudeen A. Atolagbe, Vlatka Hlupic, Simon J. E. T...
WISE
2009
Springer
16 years 14 days ago
Formal Identification of Right-Grained Services for Service-Oriented Modeling
Identifying the right-grained services is important to lead the successful service orientation because it has a direct impact on two major goals: the composability of loosely-coupl...
Yukyong Kim, Kyung-Goo Doh
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
16 years 3 months ago
The Causal Graph Revisited for Directed Model Checking
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
Martin Wehrle, Malte Helmert
115
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
A Model and a Design Approach to Building QoS Adaptive Systems
The paper introduces a system model called the probabilistic asynchronous model which characterises the context in which many practical and the Internet-based applications are bui...
Paul D. Ezhilchelvan, Santosh K. Shrivastava
ACL
2010
15 years 1 months ago
A Joint Rule Selection Model for Hierarchical Phrase-Based Translation
In hierarchical phrase-based SMT systems, statistical models are integrated to guide the hierarchical rule selection for better translation performance. Previous work mainly focus...
Lei Cui, Dongdong Zhang, Mu Li, Ming Zhou, Tiejun ...