4636 search results - page 629 / 928 » Modelling and Validation with VipTool |
131
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
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 ...
196
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
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...
152
click to vote
WEBI
2009
Springer
15 years 11 months ago
2009
Springer
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...
172
click to vote
EVOW
2001
Springer
15 years 11 months ago
2001
Springer
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...
194
click to vote
PROMS
2001
Springer
15 years 11 months ago
2001
Springer
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...