11722 search results - page 1924 / 2345 » How Developers Develop Features |
205
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
215
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
162
click to vote
ISPD
2007
ACM
15 years 8 months ago
2007
ACM
The existing temperature-aware clock embedding assumes a time-invariant temperature gradient. However, it is not solved how to find the worst-case temperature gradient leading to...
203
click to vote
BCSHCI
2007
15 years 8 months ago
2007
Second Life, a participant-created multi-user virtual environment (MUVE), gained sudden media acclaim in 2006. Prior to that, the world was developing many of the characteristics ...
182
click to vote
BCSHCI
2008
15 years 8 months ago
2008
Online social networking communities such as Facebook and MySpace are extremely popular. These sites have changed how many people develop and maintain relationships through postin...