1164 search results - page 60 / 233 » Using CBR for Semantic Analysis of Software Specifications |
COMPSAC
2005
IEEE
15 years 5 months ago
2005
IEEE
Parallel changes are a basic fact of modern software development. Where previously we looked at prima facie interference, here we investigate a less direct form that we call seman...
218
click to vote
PLDI
2009
ACM
16 years 14 days ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
122
click to vote
CHES
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper proposes new chosen-message power-analysis attacks against public-key cryptosystems based on modular exponentiation, which use specific input pairs to generate...
103
click to vote
SIGSOFT
2007
ACM
16 years 17 days ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
ICSE
2001
IEEE-ACM
15 years 4 months ago
2001
IEEE-ACM
This paper summarizes an approach for introducing component-based software engineering (CBSE) early in the undergraduate CS curriculum, and an evaluation of the impact of the appr...