Sciweavers

20306 search results - page 337 / 4062
» Business Modelling Is Not Process Modelling
Sort
View
HPCC
2007
Springer
15 years 10 months ago
An Exploration of Performance Attributes for Symbolic Modeling of Emerging Processing Devices
Vector, emerging (homogenous and heterogeneous) multi-core and a number of accelerator processing devices potentially offer an order of magnitude speedup for scientific application...
Sadaf R. Alam, Nikhil Bhatia, Jeffrey S. Vetter
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
16 years 1 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...
238
Voted
ICRE
2000
IEEE
15 years 11 months ago
Process Modeling for Object Oriented Analysis Using BORM Object Behavioral Analysis
BORM Object Behavior Analysis (BOBA) is a first stage in a process of object modeling which has proved successful in a wide number of applications. This paper discusses this metho...
Roger P. Knott, Vojtech Merunka, Jirí Pol&a...
WCE
2007
15 years 8 months ago
Transformation Model Estimation for Point Matching Via Gaussian Processes
—One of main issues in point matching is the choice of the mapping function and the computation of its optimal hyperparameters. In this paper, we propose an attractive approach t...
Xin Yu, Jin-Wen Tian, Jian Liu
ENTCS
2008
92views more  ENTCS 2008»
15 years 6 months ago
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis
At the early stages of the phagocytic signalling, Rho GTP-binding proteins play a key role. With the stimulus from the cell membrane and with the help from the regulators (GEF, GA...
Luca Cardelli, Philippa Gardner, Ozan Kahramanogul...