Sciweavers

856 search results - page 105 / 172
» Business Process Modelling and Analysis Using Discrete-event...
Sort
View
RIDE
1999
IEEE
15 years 8 months ago
Specification of Cooperative Constraints in Virtual Enterprise Workflow
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
Anne H. H. Ngu
NECO
2008
111views more  NECO 2008»
15 years 4 months ago
A Neural Network Model of the Eriksen Task: Reduction, Analysis, and Data Fitting
We analyze a neural network model of the Eriksen task, a twoalternative forced choice task in which subjects must correctly identify a central stimulus and disregard flankers that...
Yuan Sophie Liu, Philip Holmes, Jonathan D. Cohen
CSAC
2006
15 years 5 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
DATE
2010
IEEE
178views Hardware» more  DATE 2010»
15 years 9 months ago
Circuit propagation delay estimation through multivariate regression-based modeling under spatio-temporal variability
—With every process generation, the problem of variability in physical parameters and environmental conditions poses a great challenge to the design of fast and reliable circuits...
Shrikanth Ganapathy, Ramon Canal, Antonio Gonz&aac...
FDL
2011
IEEE
14 years 3 months ago
Integrating system descriptions by clocked guarded actions
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
Jens Brandt, Mike Gemunde, Klaus Schneider, Sandee...