18 search results - page 2 / 4 » aswec 2006 |
ASWEC
2006
IEEE
14 years 3 days ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
ASWEC
2006
IEEE
14 years 3 days ago
2006
IEEE
Implementing support for group awareness is an essential and challenging process in groupware development. This paper reports our research on developing a Transparent Adaptation (...
ASWEC
2006
IEEE
14 years 3 days ago
2006
IEEE
The Kerberos-One-Time protocol is a key distribution protocol promoted for use with Javacards to provide secure communication over the GSM mobile phone network. From inspection we...
ASWEC
2006
IEEE
14 years 3 days ago
2006
IEEE
In order to determine a success criterion for open-source software projects, we analyzed 122,205 projects in the SourceForge database. There were 80,597 projects with no downloads...
ASWEC
2006
IEEE
14 years 3 days ago
2006
IEEE
Up to 75% of the costs associated with the development of software systems occur post-deployment during maintenance and evolution. Software refactoring is a process which can sign...