Sciweavers

3726 search results - page 590 / 746
» A structured definition of the modeling process
Sort
View
ENTCS
2007
100views more  ENTCS 2007»
15 years 6 months ago
Extensionality of Spatial Observations in Distributed Systems
We discuss the tensions between intensionality and extensionality of spatial observations in distributed systems, showing that there are natural models where extensional observati...
Luís Caires, Hugo Torres Vieira
ANOR
2005
98views more  ANOR 2005»
15 years 6 months ago
Condorcet Winners for Public Goods
In this work, we consider a public facility allocation problem decided through a voting process under the majority rule. A location of the public facility is a majority rule winner...
Lihua Chen, Xiaotie Deng, Qizhi Fang, Feng Tian
ISCI
2007
82views more  ISCI 2007»
15 years 6 months ago
On reliability of the folded hypercubes
In this paper, we explore the 2-extra connectivity and 2-extra-edge-connectivity of the folded hypercube FQn. We show that j2(FQn) = 3n À 2 for n P 8; and k2(FQn) = 3n À 1 for n...
Qiang Zhu 0003, Jun-Ming Xu, Xinmin Hou, Min Xu
FUIN
2002
63views more  FUIN 2002»
15 years 6 months ago
Probabilistic Cluster Unfoldings
Abstract. This article introduces probabilistic cluster branching processes, a probabilistic unfolding semantics for untimed Petri nets, with no structural or safety assumptions, g...
Stefan Haar
ECSA
2010
Springer
15 years 5 months ago
Industry taxonomy engineering: the case of the European software ecosystem
Presently, no methods exist that support the creation process of an industry taxonomy within a specific domain. Without such a method, taxonomies remain erroneous, making the deve...
Ivo Hunink, Rene van Erk, Slinger Jansen, Sjaak Br...