13099 search results - page 2 / 2620 » Cooperative method development |
KBSE
1997
IEEE
13 years 9 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
AC
2007
Springer
13 years 5 months ago
2007
Springer
The focus of this chapter is to review what is known about free and open source software development (FOSSD) work practices, development processes, project and community dynamics,...
INFOCOM
2010
IEEE
13 years 2 months ago
2010
IEEE
Cooperative Communication (CC) is a technology that allows multiple nodes to simultaneously transmit the same data. It can save power and extend transmission coverage. However, pri...
KYOTODL
2000
13 years 6 months ago
2000
Today, bibliographical information is kept in a variety of digital libraries available on the Internet. The integration of bibliographical data is considered as one of the most im...
ENTCS
2006
13 years 4 months ago
2006
We are concerned with programs composed of cooperative threads whose execution proceeds in synchronous rounds called instants. We develop static analysis methods to guarantee that...