1210 search results - page 160 / 242 » Formal Techniques for Java Programs |
91
Voted
ICSE
2005
IEEE-ACM
16 years 2 months ago
2005
IEEE-ACM
Producing reliable and robust software has become one of the most important software development concerns in recent years. Testing is a process by which software quality can be as...
104
Voted
ESSOS
2010
Springer
15 years 11 months ago
2010
Springer
Information flow control systems provide the guarantees that are required in today’s security-relevant systems. While the literature has produced a wealth of techniques to ensur...
120
Voted
ICAC
2006
IEEE
15 years 8 months ago
2006
IEEE
— The need for self-healing software to respond with a reactive, proactive or preventative action as a result of changes in its environment has added the non-functional requireme...
155
Voted
CGO
2003
IEEE
15 years 7 months ago
2003
IEEE
As current trends in software development move toward more complex object-oriented programming, inlining has become a vital optimization that provides substantial performance impr...
149
click to vote
LCPC
2000
Springer
15 years 5 months ago
2000
Springer
Embedded systems consisting of the application program ROM, RAM, the embedded processor core, and any custom hardware on a single wafer are becoming increasingly common in applicat...