20511 search results - page 3862 / 4103 » On the level |
168
click to vote
GPCE
2008
Springer
15 years 7 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
180
click to vote
GRC
2008
IEEE
15 years 7 months ago
2008
IEEE
Graph-theory-based approaches have been used with great success when analyzing abstract properties of natural and artificial networks. However, these approaches have not factored...
206
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
236
Voted
ESEM
2010
ACM
15 years 7 months ago
2010
ACM
Software designs decay over time. While most studies focus on decay at the system level, this research studies design decay on well understood micro architectures, design patterns...
153
click to vote
ISLPED
2010
ACM
15 years 7 months ago
2010
ACM
It is important to maintain high efficiency when charging electrical energy storage elements so as to achieve holistic optimization from an energy generation source (e.g., a solar...