Sciweavers

4586 search results - page 420 / 918
» Computing stable models in parallel
Sort
View
UC
2005
Springer
15 years 11 months ago
On Model-Checking of P Systems
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
151
Voted
EDOC
2009
IEEE
16 years 27 days ago
Modeling the IT Impact on Organizational Structure
The impact IT systems have on organizations is widely debated, both in academia and industry. This paper describes a quantitative framework for analyzing organizational impact fro...
Pia Gustafsson, David Höök, Ulrik Franke...
SKG
2005
IEEE
15 years 11 months ago
Relation Grid: A Social Relationship Network Model
In this paper, a social network model based on real social relationships, referred as Relation Grid, is proposed. Relation grid is isomorphic to the actual social network; hence it...
Jiaxing Song, Weidong Liu, Shaoyu Chen
153
Voted
ISORC
2003
IEEE
15 years 11 months ago
Metrics and Models for Cost and Quality of Component-Based Software
Quality and risk concerns currently limit the application of commercial off-the-shelf (COTS) software components to non-critical applications. Software metrics can quantify factor...
Sahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul
EUROPAR
2007
Springer
16 years 9 days ago
Modeling and Validating the Performance of Atomic Broadcast Algorithms in High Latency Networks
Abstract. The performance of consensus and atomic broadcast algorithms using failure detectors is often affected by a trade-off between the number of communication steps and the ...
Richard Ekwall, André Schiper