301 search results - page 24 / 61 » Process Modelling to Support Dependability Arguments |
HICSS
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper presents a case study on the use of an alternative method of computer support to that normally used, one that uses voting as a tool for social rather than rational choi...
ECIS
2004
15 years 1 months ago
2004
Face-to-face meetings between auditors and their clients are increasingly difficult to arrange, due to business globalization and the growing need for rapid audit decision-making....
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
Software engineering projects are inherently cooperative, requiring many software engineers to coordinate their efforts to produce a large software system. Integral to this effort...
SPIN
1999
Springer
15 years 4 months ago
1999
Springer
One of the difficulties of using model checkers “in the large” is the management of all (generated) data during the validation trajectory. It is important that the results obta...
SIGOPSE
1998
ACM
15 years 4 months ago
1998
ACM
The majority of work on protection in single-language mobile code environments focuses on information security issues and depends on the language environment for solutions to the ...