Sciweavers

1615 search results - page 101 / 323
» What's new
Sort
View
HICSS
2008
IEEE
114views Biometrics» more  HICSS 2008»
14 years 3 months ago
On Structural Analysis of Large Networks
Containing much valuable information, networks such as the World Wide Web, social networks and metabolic networks draw increasingly attention in scientific communities. Network cl...
Nurcan Yuruk, Xiaowei Xu, Thomas A. J. Schweiger
ICDCSW
2005
IEEE
14 years 2 months ago
Reconciling the Theory and Practice of (Un)Reliable Wireless Broadcast
Theorists and practitioners have fairly different perspectives on how wireless broadcast works. Theorists think about synchrony; practitioners think about backoff. Theorists assum...
Gregory Chockler, Murat Demirbas, Seth Gilbert, Na...
FM
2003
Springer
92views Formal Methods» more  FM 2003»
14 years 2 months ago
Composing Invariants
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...
Michel Charpentier
HICSS
2008
IEEE
120views Biometrics» more  HICSS 2008»
14 years 3 months ago
Exploring the Semantic Validity of Questionnaire Scales
Many behavioral researchers have been or are currently engaged in survey research, analyzing results using statistical methods. Respondents are often asked to fill out questionnai...
Kai R. Larsen, Dorit Nevo, Eliot Rich
IFIPTCS
2010
13 years 7 months ago
Convexity, Duality and Effects
This paper describes some basic relationships between mathematical structures that are relevant in quantum logic and probability, namely convex sets, effect algebras, and a new cl...
Bart Jacobs