412 search results - page 51 / 83 » Modelling Metamorphism by Abstract Interpretation |
VSTTE
2005
Springer
14 years 3 months 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...
FC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The security of any computer system that is configured or operated by human beings critically depends on the information conveyed by the user interface, the decisions of...
IPPS
1999
IEEE
14 years 2 months ago
1999
IEEE
Abstract. A new approach to develop parallel and distributed scheduling algorithms for multiprocessor systems is proposed. Its main innovation lies in evolving a decomposition of t...
EMMCVPR
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. Synthetic aperture radar SAR images are notoriously di cult to interpret. Segmentation is simpli ed if a digital map is available, to which the image can be registered....
ISMIS
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. Spoken dialogue interfaces apply in a number of applications. Engaging in meaningful conversation presupposes the ability to recognize and generate different conversatio...