2700 search results - page 294 / 540 » The role of abstraction in software engineering |
196
click to vote
VMCAI
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...
148
click to vote
VSTTE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
172
click to vote
VSTTE
2005
Springer
16 years 2 days ago
2005
Springer
What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINW...
165
click to vote
IUI
2004
ACM
16 years 1 days ago
2004
ACM
Teams of autonomous vehicles (AVs) carry out missions in a number of fields such as space exploration and searchand-rescue. However, human supervision is still required to monito...
137
click to vote
PASTE
2004
ACM
16 years 1 days ago
2004
ACM
This paper presents FIT, a Flexible open-source binary code Instrumentation Toolkit. Unlike existing tools, FIT is truly portable, with existing backends for the Alpha, x86 and AR...