6740 search results - page 335 / 1348 » Using Classification as a Programming Language |
123
click to vote
ESOP
2010
Springer
16 years 15 days ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
113
click to vote
GPCE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Meta-AspectJ (MAJ) is a language tool for generating AspectJ programs using code templates. MAJ itself is an extension of Java, so users can interleave arbitrary Java cod...
115
click to vote
WEBDB
1998
Springer
15 years 7 months ago
1998
Springer
In its infancy, the World-Wide Web consisted of a web of largely static hypertext documents. As time progresses it is evolving into a domain which supports almost arbitrary network...
125
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
136
click to vote
ESOP
2010
Springer
16 years 15 days ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...