Sciweavers

197 search results - page 20 / 40
» Capturing the essentials of federated systems
Sort
View
CORR
2010
Springer
173views Education» more  CORR 2010»
13 years 10 months ago
The Naming Game in Social Networks: Community Formation and Consensus Engineering
We study the dynamics of the Naming Game [Baronchelli et al., (2006) J. Stat. Mech.: Theory Exp. P06014] in empirical social networks. This stylized agentbased model captures essen...
Qiming Lu, Gyorgy Korniss, Boleslaw K. Szymanski
CORR
2008
Springer
109views Education» more  CORR 2008»
13 years 10 months ago
Compactly accessible categories and quantum key distribution
Abstract. Compact categories have lately seen renewed interest via applications to quantum physics. Being essentially finite-dimensional, they cannot accomodate (co)limit-based con...
Chris Heunen
JAR
2008
81views more  JAR 2008»
13 years 9 months ago
Automatic Symmetry Detection for Promela
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
Alastair F. Donaldson, Alice Miller
JSW
2006
89views more  JSW 2006»
13 years 9 months ago
Towards a Mathematical Foundation for Service-Oriented Applications Design
Abstract-- Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design ...
Aliaksei Yanchuk, Alexander Ivanyukovich, Maurizio...
ICIP
2010
IEEE
13 years 7 months ago
Rotating sensor-matrix camera calibration
Panoramic images and panoramic cameras (or sensors) are of increasing importance for various applications in computer vision, computer graphics, visualization, and robotics. Vario...
Fay Huang, Reinhard Klette, Ju-Chi Tien, Yin-Wei C...