Sciweavers

226 search results - page 36 / 46
» The Swarm Model in Open Source Software Developer Communitie...
Sort
View
HICSS
2009
IEEE
134views Biometrics» more  HICSS 2009»
15 years 4 months ago
Bridging Socio-Technical Capital in an Online Learning Environment
This work is based on the premise that online learning environments can potentially help develop communities of scholars by enabling participants to discover persons and resources...
Daniel D. Suthers, Kar-Hai Chu, Samuel Joseph
MSR
2010
ACM
15 years 2 months ago
The Ultimate Debian Database: Consolidating bazaar metadata for Quality Assurance and data mining
—FLOSS distributions like RedHat and Ubuntu require a lot more complex infrastructures than most other FLOSS projects. In the case of community-driven distributions like Debian, ...
Lucas Nussbaum, Stefano Zacchiroli
JTRES
2009
ACM
15 years 2 months ago
A technology compatibility kit for safety critical Java
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
Lei Zhao, Daniel Tang, Jan Vitek
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
15 years 3 months ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
ECMDAFA
2011
Springer
246views Hardware» more  ECMDAFA 2011»
14 years 1 months ago
Incremental Updates for View-Based Textual Modelling
Abstract. Model-Driven Engineering (MDE) aims at improving the development of software systems. Within this context textual concrete syntaxes for models are beneficial for many re...
Thomas Goldschmidt, Axel Uhl