15155 search results - page 213 / 3031 » System Software |
162
click to vote
IPPS
2007
IEEE
16 years 22 days ago
2007
IEEE
This workshop provides a forum for an overview, project presentations, and discussion of the research fostered and funded initially by the NSF Next Generation Software (NGS) Progr...
152
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Open Source communities typically use a software repository to archive various software projects with their source code, mailing list discussions, documentation, bug reports, and ...
188
click to vote
WIMAW
2008
15 years 7 months ago
2008
: The industrialization of software development induces several changes to the development process as software development becomes distributed over company borders. They cooperativ...
144
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
The principle goal of our research project is to improve the availability of service-oriented systems. This is especially important in systems that cross organizational boundaries...
149
click to vote
JUCS
2007
15 years 6 months ago
2007
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...