15799 search results - page 3016 / 3160 » Software engineering: a roadmap |
GI
2003
Springer
15 years 9 months ago
2003
Springer
: In Zukunft wird es verstärkt notwendig sein, sicherheitskritische Systeme statt in Ada in der Programmiersprache C zu implementieren. Die Verwendung von C ist getrieben vom Mang...
134
Voted
SIAMJO
2011
14 years 10 months ago
2011
This is a correction to R. B. Kearfott and S. Hongthong’s article [SIAM J. Optim., 16 (2005), pp. 418–433]. DOI. 10.1137/100816080 There are errors in column 4 (entitled “Und...
115
Voted
DAC
2002
ACM
16 years 4 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
138
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
Collaborative browsing, or co-browsing, is the co-navigation of the web with other people at-a-distance, supported by software that takes care of synchronizing the browsers. Curre...
131
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Millions of users retrieve information from the Internet using search engines. Mining these user sessions can provide valuable information about the quality of user experience and...