9626 search results - page 1781 / 1926 » Invariant Based Programming |
104
click to vote
MM
2005
ACM
15 years 7 months ago
2005
ACM
Compared with the video programs taken by professionals, home videos are always with low-quality content resulted from lack of professional capture skills. In this paper, we prese...
126
click to vote
SAS
2005
Springer
15 years 7 months ago
2005
Springer
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...
103
click to vote
TGC
2005
Springer
15 years 7 months ago
2005
Springer
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acade...
129
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
104
click to vote
CF
2004
ACM
15 years 7 months ago
2004
ACM
Next generation architectures will require innovative solutions to reduce energy consumption. One of the trends we expect is more extensive utilization of compiler information dir...