Sciweavers

41938 search results - page 237 / 8388
» Complex Systems Modeling
Sort
View
ECWEB
2004
Springer
177views ECommerce» more  ECWEB 2004»
15 years 12 months ago
Analysis of Mobile Business Processes for the Design of Mobile Information Systems
Abstract. The adoption of mobile technologies into companies frequently follows a technology -driven approach without precise knowledge about the potential benefits that may be rea...
André Köhler, Volker Gruhn
WSC
2001
15 years 7 months ago
Hierarchical modeling of a shipyard integrated with an external scheduling application
This paper presents a hierarchical approach on the simulation of large-scale discrete event systems used recently by Kiran Consulting Group (KCG) to model shipyard operations. Bec...
Ali S. Kiran, Tekin Cetinkaya, Juan Cabrera
JUCS
2008
186views more  JUCS 2008»
15 years 6 months ago
Model Interpreter Frameworks: A Foundation for the Analysis of Domain-Specific Software Architectures
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...
George Edwards, Chiyoung Seo, Nenad Medvidovic
CORR
2010
Springer
156views Education» more  CORR 2010»
15 years 6 months ago
Modelling Reactive and Proactive Behaviour in Simulation
: This research investigated the simulation model behaviour of a traditional and combined discrete event as well as agent based simulation models when modelling human reactive and ...
Mazlina Abdul Majid, Peer-Olaf Siebers, Uwe Aickel...
CAV
2009
Springer
209views Hardware» more  CAV 2009»
16 years 7 months ago
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamari...