5843 search results - page 946 / 1169 » Software Security in Practice |
170
Voted
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
170
click to vote
SPRINGSIM
2010
15 years 4 months ago
2010
: Creating models and analyzing simulation results can be a difficult and time-consuming task, especially for non-experienced users. Although several DEVS simulators have been deve...
166
click to vote
TOSEM
2010
15 years 4 months ago
2010
n the concept of abstract clone region descriptors (CRDs), which describe clone regions using a combination of their syntactic, structural, and lexical information. We present our ...
257
Voted
TSE
2010
15 years 4 months ago
2010
—In this paper, we explore the concept of code readability and investigate its relation to software quality. With data collected from 120 human annotators, we derive associations...
149
click to vote
VLSI
2010
Springer
15 years 4 months ago
2010
Springer
—Latency insensitivity is a promising design paradigm in the nanometer era since it has potential benefits of increased modularity and robustness to variations. Synchronous elas...