3330 search results - page 239 / 666 » software 2010 |
152
click to vote
SAS
2010
Springer
15 years 4 months ago
2010
Springer
ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M
196
click to vote
INTENV
2010
15 years 1 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...
187
click to vote
WOA
2010
15 years 4 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...
200
click to vote
VMCAI
2010
Springer
16 years 1 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...
150
click to vote
SIGSOFT
2010
ACM
15 years 4 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...