Sciweavers

856 search results - page 76 / 172
» Business Process Modelling and Analysis Using Discrete-event...
Sort
View
ICASSP
2011
IEEE
14 years 6 months ago
An extension of the ICA model using latent variables
The Independent Component Analysis (ICA) model is extended to the case where the components are not necessarily independent: depending on the value a hidden latent process at the ...
Selwa Rafi, Marc Castella, Wojciech Pieczynski
134
Voted
ICEBE
2007
IEEE
151views Business» more  ICEBE 2007»
15 years 9 months ago
Systematic Security Analysis for Service-Oriented Software Architectures
Due to the dramatic increase in intrusive activities architecture security analysis and design has emerged as an important aspect of the development of software services. It is a ...
Yanguo Liu, Issa Traoré
115
Voted
SAFECOMP
1998
Springer
15 years 6 months ago
Safety Verification of Software Using Structured Petri Nets
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
Krzysztof Sacha
97
Voted
CPHYSICS
2006
95views more  CPHYSICS 2006»
15 years 2 months ago
Efficient data processing and quantum phenomena: Single-particle systems
We study the relation between the acquisition and analysis of data and quantum theory using a probabilistic and deterministic model for photon polarizers. We introduce criteria fo...
H. De Raedt, Koen De Raedt, K. Michielsen, S. Miya...
128
Voted
HICSS
2012
IEEE
323views Biometrics» more  HICSS 2012»
13 years 10 months ago
The Manufacture of Potable Water: Case Analyses of Electric System Alternatives
Potable water within significant areas of the nations of the Arabian Gulf region is most frequently manufactured (cogenerated) along with electricity. The most economic process ha...
Richard D. Tabors, Siddarth Nagendraprasad, Ayoob ...