Sciweavers

2288 search results - page 256 / 458
» Learning Business Process Models: A Case Study
Sort
View
STTT
2011
195views more  STTT 2011»
15 years 1 months ago
Parallel probabilistic model checking on general purpose graphics processors
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski,...
WSC
2000
15 years 7 months ago
Simply Simulation: an interactive CD-ROM-based approach for learning simulation concepts
The purpose of this paper is to introduce a new approach to teaching an introductory simulation course using an interactive CD-ROM titled "Simply Simulation". This metho...
Connie Nott, Graham Nott, C. Christopher Lee
UML
2005
Springer
15 years 11 months ago
Extending the Boundaries of Model-Based Development to Account for Errors
This paper presents an approach for relating informed task models and system models in the domain of safety critical interactive systems. The models, which are usually developed f...
Sandra Basnyat, Rémi Bastide, Philippe A. P...
IEEEICCI
2006
IEEE
16 years 6 days ago
SenseNet: A Knowledge Representation Model for Computational Semantics
Knowledge representation is essential for semantics modeling and intelligent information processing. For decades researchers have proposed many knowledge representation techniques...
Ping Chen, Wei Ding 0003, Chengmin Ding
ICRA
2005
IEEE
125views Robotics» more  ICRA 2005»
15 years 11 months ago
Bullwhip effect in Integrated Manufacturing and Service Networks
- An Integrated Manufacturing and Service Network (IMSN) is a grouping of companies, working together to offer a bundle of products and product-related services, that deliver value...
Nukala Viswanadham, Vijay Desai, Roshan S. Gaonkar