771 search results - page 31 / 155 » Modelling and Analysing Socio-Technical Systems |
106
click to vote
IEEEPACT
2006
IEEE
15 years 4 months ago
2006
IEEE
Thread escape analysis conservatively determines which objects may be accessed in more than one thread. Thread escape analysis is useful for a variety of purposes – finding rac...
ICSEA
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
RECSYS
2010
ACM
14 years 10 months ago
2010
ACM
We present and evaluate various content-based recommendation models that make use of user and item profiles defined in terms of weighted lists of social tags. The studied approach...
ESAW
2008
Springer
15 years 9 days ago
2008
Springer
The IODA methodology allows automated construction of models from an ontology, consisting of generic interactions that we can assign to families of agents. Thanks to the measuremen...
SEM
2004
Springer
15 years 3 months ago
2004
Springer
Business Intelligence (BI) systems address the demands of large scale enterprises for operational analytics, management information and decision support tasks. Building such applic...