950 search results - page 130 / 190 » Free and Open Source Software |
SAC
2009
ACM
15 years 4 months ago
2009
ACM
The Web 2.0 fosters the creation of communities by offering users a wide array of social software tools. While the success of these tools is based on their ability to support diff...
KBSE
2006
IEEE
15 years 3 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
ADAEUROPE
2001
Springer
15 years 2 months ago
2001
Springer
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...
EUROMICRO
2004
IEEE
15 years 1 months ago
2004
IEEE
The popularity of web objects, and by extension the popularity of the web sites, besides the appearance of clear footprints in user's accesses that show a considerable spatia...
SOSP
1997
ACM
14 years 11 months ago
1997
ACM
The exokernel operating system architecture safely gives untrusted software efficient control over hardware and software resources by separating management from protection. This ...