5591 search results - page 424 / 1119 » Design patterns: between programming and software design |
191
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
To accomplish frequent, simple tasks with high efficiency, it is necessary to leverage low-power, microcontroller-like processors that are increasingly available on mobile systems...
157
click to vote
ASPLOS
2006
ACM
16 years 26 days ago
2006
ACM
Current taint checking architectures monitor tainted data usage mainly with control transfer instructions. An alarm is raised once the program counter becomes tainted. However, su...
212
click to vote
SIGSOFT
2003
ACM
16 years 3 days ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
199
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
168
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...