10379 search results - page 459 / 2076 » The Chaos of Software Development |
214
click to vote
IASTEDSEA
2004
15 years 8 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
198
click to vote
CSCW
2007
ACM
15 years 7 months ago
2007
ACM
Emergency management is more than just events occurring within an emergency situation. It encompasses a variety of persistent activities such as planning, training, assessment, and...
202
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
“Crowdsourcing” is currently one of the most discussed key words within the open innovation community. The major question for both research and business is how to find and lev...
238
click to vote
ECBS
2005
IEEE
16 years 19 days ago
2005
IEEE
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight...
236
click to vote
ECRTS
2005
IEEE
16 years 19 days ago
2005
IEEE
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...