2897 search results - page 481 / 580 » Mobile Code Security |
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
111
Voted
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
Programmers tend to understand programs by thinking of concrete examples. Example Centric Programming seeks to add IDE support for examples throughout the process of programming. ...
102
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
117
click to vote
CODES
2003
IEEE
15 years 7 months ago
2003
IEEE
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...
130
click to vote
ECOOP
2000
Springer
15 years 6 months ago
2000
Springer
Modern software must evolve in response to changing conditions. In the most widely used programming environments, code is static and cannot change at runtime. This poses problems ...