3330 search results - page 239 / 666 » software 2010 |
117
Voted
SAS
2010
Springer
15 years 1 months ago
2010
Springer
ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M
138
Voted
INTENV
2010
14 years 10 months ago
2010
Today's Web 2.0 is a place, where people express themselves, interact share their lives, socialize. Thousands of elderly people join various social networking sites or use the...
140
Voted
WOA
2010
15 years 1 months ago
2010
Abstract--Recent works proposed the adoption of a natureinspired approach of chemistry for implementing service architectures suitable for pervasive applications [34]. In particula...
162
click to vote
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
This paper is concerned with the synthesis of invariants in programs with arrays. More specifically, we consider properties concerning array contents up to a permutation. For inst...
108
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Delivering increasingly complex software-reliant systems demands better ways to manage the long-term effects of shortterm expedients. The technical debt metaphor is gaining signif...