Sciweavers

1186 search results - page 40 / 238
» Progressive Modeling
Sort
View
111
Voted
EGOV
2004
Springer
15 years 6 months 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»
15 years 6 months 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
101
Voted
IJAR
2006
98views more  IJAR 2006»
15 years 2 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...
103
Voted
WSC
1998
15 years 3 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
154
Voted
FECS
2008
142views Education» more  FECS 2008»
15 years 3 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