Sciweavers

14670 search results - page 34 / 2934
» The Systems Modeling Language for Products and Systems Devel...
Sort
View
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
14 years 4 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
SERP
2003
13 years 9 months ago
Reliability Modeling Using UML
System reliability has become an increasingly important benchmark in measuring service continuity. As part of many service level agreements, system performance is gauged by how lo...
Chokchai Leangsuksun, Hertong Song, Lixin Shen
DAC
1997
ACM
14 years 6 days ago
Modeling Design Tasks and Tools: The Link Between Product and Flow Model
- The important step towards a comprehensive CAD framework is the development of a suitable, complete design model on which the design system’s components are based. To date, we ...
Bernd Schürmann, Joachim Altmeyer
HICSS
2008
IEEE
130views Biometrics» more  HICSS 2008»
14 years 2 months ago
The Economic Production Quantity Problem with a Finite Production Rate and Fuzzy Cycle Time
Managing the inventories along with carrying out the production program is essential for many companies in the producing industry. In this paper, a fuzzy EPQ (Economic Production ...
Kaj-Mikael Björk
ISCAS
2007
IEEE
129views Hardware» more  ISCAS 2007»
14 years 2 months ago
Modeling of self-adaptive systems with SCADE
— An important property of embedded systems is dependability. Today this addresses mostly safety and reliability. Guaranteeing these properties is normally done by adding redunda...
Matthias Güdemann, Andreas Angerer, Frank Ort...