1397 search results - page 51 / 280 » On the Need for Practical Formal Methods |
CHI
2010
ACM
14 years 2 months ago
2010
ACM
CT This paper presents results from a study examining perceptions and practices of usability in the free/open source software (FOSS) community. 27 individuals associated with 11 di...
OSS
2009
Springer
14 years 8 days ago
2009
Springer
Background: The number of reported empirical studies of Open Source Software (OSS) has continuously been increasing. However, there has been no effort to systematically review the ...
ICNP
2006
IEEE
14 years 1 months ago
2006
IEEE
— File distribution via network coding has received a lot of attention lately. However, direct application of network coding may have security problems. In particular, attackers ...
ACMICEC
2004
ACM
14 years 1 months ago
2004
ACM
Public administrations of all over the world invest an enormous amount of resources in e-government. How the success of egovernment can be measured is often not clear. E-governmen...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
As Web sites are now ordinary products, it is necessary to explicit the notion of quality of a Web site. The quality of a site may be linked to the easiness of accessibility and a...