1210 search results - page 160 / 242 » Formal Techniques for Java Programs |
ICSE
2005
IEEE-ACM
14 years 7 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...
ESSOS
2010
Springer
14 years 4 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...
ICAC
2006
IEEE
14 years 1 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...
CGO
2003
IEEE
14 years 1 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...
LCPC
2000
Springer
13 years 11 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...