Sciweavers

4636 search results - page 629 / 928
» Modelling and Validation with VipTool
Sort
View
CSE
2009
IEEE
16 years 4 days ago
Quantifying Reciprocity in Social Networks
In this paper we propose a new reciprocity index for quantifying social relationships based on mobile phone call detail records and Twitter blogs. We use this reciprocity index to ...
Huiqi Zhang, Ram Dantu, João W. Cangussu
216
Voted
CONCUR
2009
Springer
16 years 2 days ago
Concurrent Kleene Algebra
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
C. A. R. Hoare, Bernhard Möller, Georg Struth...
178
Voted
WEBI
2009
Springer
15 years 12 months ago
Collaborative Semantic Structuring of Folksonomies
The advent of tagging and folksonomies for organizing shared resources on the social Web brought promising opportunities to help communities of users capture their knowledge. Howe...
Freddy Limpens, Fabien L. Gandon, Michel Buffa
EVOW
2001
Springer
15 years 12 months ago
Automated Solution of a Highly Constrained School Timetabling Problem - Preliminary Results
This work introduces a highly constrained school timetabling problem which was modeled from the requirements of a German high school. The concept for solving the problem uses a hyb...
Marc Bufé, Tim Fischer, Holger Gubbels, Cla...
207
Voted
PROMS
2001
Springer
110views Multimedia» more  PROMS 2001»
15 years 12 months ago
On the End-User QoS-Awareness of a Distributed Service Environment
A lot of attention has been given to network quality of service and efforts to make layers on top of the network also QoS-aware increase noticeably. This paper explores QoS-aware s...
Ing Widya, R. E. Stap, L. J. Teunissen, B. Frank H...