Sciweavers

7009 search results - page 475 / 1402
» Patterns in Complex Systems Modeling
Sort
View
ECWEB
2004
Springer
177views ECommerce» more  ECWEB 2004»
16 years 1 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 9 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 7 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
CAV
2009
Springer
209views Hardware» more  CAV 2009»
16 years 8 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...
IADIS
2004
15 years 9 months ago
Telecollaboration - a case study for performance analysis of voip systems
The evolving nature of complex traffic issues of IP (Internet Protocol)-based Telecollaboration (TC) business system technology requires an intuitive understanding for the partici...
Venkatesh Mahadevan, Zenon Chaczko