Sciweavers

20306 search results - page 325 / 4062
» Business Modelling Is Not Process Modelling
Sort
View
HICSS
2005
IEEE
149views Biometrics» more  HICSS 2005»
16 years 11 days ago
A Systems Model for Knowledge Management: A Rhetorical Heuristic Process
An Integrative Mental Model of Knowledge Management can provide a way of visualizing the interrelated elements that comprise a knowledge management system. This original model, bu...
Charles E. Beck, Gary R. Schornack
APSEC
1998
IEEE
15 years 11 months ago
A Computing Model for Distributed Processing Systems and Its Application
When implementing an application system in a distributed computing environment, several architectural questions arise such as, how and where computing resources are distributed, a...
Hisashi Okada, Hiromichi Iwata, Haruo Toyama, Yosh...
NIPS
2003
15 years 8 months ago
Gaussian Process Latent Variable Models for Visualisation of High Dimensional Data
In this paper we introduce a new underlying probabilistic model for principal component analysis (PCA). Our formulation interprets PCA as a particular Gaussian process prior on a ...
Neil D. Lawrence
ESWS
2009
Springer
15 years 4 months ago
Towards an Agent Based Approach for Verification of OWL-S Process Models
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
Alessio Lomuscio, Monika Solanki
FSTTCS
2006
Springer
15 years 10 months ago
On Decidability of LTL Model Checking for Process Rewrite Systems
We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS) or weakly extended Process Rewrite Systems (w...
Laura Bozzelli, Mojmír Kretínsk&yacu...