771 search results - page 50 / 155 » Modelling and Analysing Socio-Technical Systems |
MASCOTS
2003
15 years 6 days ago
2003
Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as a...
78
Voted
HICSS
2007
IEEE
15 years 5 months ago
2007
IEEE
During the last decades market competition created various constellations of collaborative integration between enterprises: integration of parts of the value chain or integration ...
WOSP
2005
ACM
15 years 4 months ago
2005
ACM
The evolution towards IP-aware access networks creates the possibility (and, indeed, the desirability) of additional network services, like firewalling or NAT, integrated into th...
EICS
2009
ACM
15 years 5 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
76
Voted
COMPSAC
2004
IEEE
15 years 2 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...