3147 search results - page 6 / 630 » Open-Source Model Checking |
GI
2004
Springer
14 years 26 days ago
2004
Springer
: An interesting phenomenon in the open source software (OSS) market is the evolution of intermediaries, which provide services to the OSS community. A problem of this business mod...
SG
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. Xface, the new version of our open source, platform independent toolkit for developing 3D embodied conversational agents is presented. The toolkit currently incorporates ...
ECIS
2004
13 years 9 months ago
2004
The purpose of this paper is to increase understanding about the use of embedded open source software in commercial telecommunication products. This paper applies concepts of valu...
ISJ
2002
13 years 7 months ago
2002
Proponents of open source style software development claim that better software is produced using this model compared with the traditional closed model. However, there is little em...
JSW
2008
13 years 7 months ago
2008
The current software development environment has been changing into new development paradigms such as concurrent distributed development environment and the so-called open source p...