19936 search results - page 138 / 3988 » Inductive process modeling |
251
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
In order to optimize their revenues and profits, an increasing number of businesses organize their business activities in terms of business processes. Typically, they automate imp...
203
click to vote
TAMODIA
2008
15 years 7 months ago
2008
In this paper we introduce MuiCSer, a conceptual process framework for Multi-disciplinary User-centred Software Engineering (UCSE) processes. UCSE processes strive for the combinat...
157
click to vote
ICCAD
2000
IEEE
15 years 10 months ago
2000
IEEE
The increasing size of integrated systems combined with deep submicron physical modeling details creates an explosion in RLC interconnect modeling complexity of unmanageable propo...
166
click to vote
CC
2010
Springer
16 years 1 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
190
click to vote
IEEECIT
2005
IEEE
16 years 19 hour ago
2005
IEEE
We report on a case study in which SAL model checkers have been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion prope...