Sciweavers

1186 search results - page 40 / 238
» Progressive Modeling
Sort
View
EGOV
2004
Springer
14 years 18 days ago
Modeling e-Government Service Workflows Through Recurring Patterns
Inherent complexity of the e-Government application domain is also reflected in the workflows of e-Government service provision. This paper reports on how some real examples e-Gove...
Giannis Verginadis, Dimitris Gouscos, Gregoris Men...
ACSD
2006
IEEE
89views Hardware» more  ACSD 2006»
14 years 18 days ago
On process-algebraic verification of asynchronous circuits
Asynchronous circuits have received much attention recently due to their potential for energy savings. Process algebras have been extensively used in the modelling, analysis and sy...
Xu Wang, Marta Z. Kwiatkowska
IJAR
2006
98views more  IJAR 2006»
13 years 8 months ago
A forward-backward Monte Carlo method for solving influence diagrams
Although influence diagrams are powerful tools for representing and solving complex decisionmaking problems, their evaluation may require an enormous computational effort and this...
Andrés Cano, Manuel Gómez, Seraf&iac...
WSC
1998
13 years 10 months ago
WIP Evolution of a Semiconductor Factory after a Bottleneck Workcenter Breakdown
In semiconductor fabrication facilities, it can be observed an increase in work in progress (WIP) even weeks after the failure of the bottleneck workcenter. In this paper, we deve...
Oliver Rose
FECS
2008
142views Education» more  FECS 2008»
13 years 10 months ago
Teaching Software Modeling and Design Based on The Science of Design and Science of Learning
Teaching software modeling and software design presents a different and difficult set of problems than teaching some of the other aspects of software engineering such as testing a...
Sukhamay Kundu