Sciweavers

12670 search results - page 242 / 2534
» Requirements Modeling
Sort
View
CMOT
2000
94views more  CMOT 2000»
15 years 6 months ago
Performance of Organizational Design Models and Their Impact on Organization Learning
Theperformanceofvariousorganizationalstructuresisanessentialparameterinthereengineeringoforganizations, particularly in the current rapidly changing, competitive and information t...
Aris M. Ouksel, Ronald Vyhmeister
IEEEHPCS
2010
15 years 4 months ago
Analytical modeling and evaluation of network-on-chip architectures
Network-on-chip (NoC) architectures adopted for Systemon-Chip (SoC) are characterized by different trade-offs between latency, throughput, communication load, energy consumption, ...
Suboh A. Suboh, Mohamed Bakhouya, Jaafar Gaber, Ta...
197
Voted
IPPS
2007
IEEE
16 years 13 days ago
Multi-Core Model Checking with SPIN
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
Gerard J. Holzmann, Dragan Bosnacki
SAC
2006
ACM
16 years 3 days ago
An evaluation of conceptual business process modelling languages
Conceptual Business Process Modelling Languages (BPMLs) express certain aspects of processes (e.g. activities, roles, interactions, data, etc.) and address different application a...
Beate List, Birgit Korherr
ICDCS
2005
IEEE
15 years 11 months ago
Mixed Consistency Model: Meeting Data Sharing Needs of Heterogeneous Users
Heterogeneous users usually have different requirements as far as consistency of shared data is concerned. This paper proposes and investigates a mixed consistency model to meet t...
Zhiyuan Zhan, Mustaque Ahamad, Michel Raynal