3330 search results - page 239 / 666 » software 2010 |
SAS
2010
Springer
14 years 10 months ago
2010
Springer
ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M
109
Voted
INTENV
2010
14 years 7 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...
103
Voted
WOA
2010
14 years 10 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...
133
Voted
VMCAI
2010
Springer
15 years 7 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...
82
Voted
SIGSOFT
2010
ACM
14 years 10 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...