9642 search results - page 1569 / 1929 » Semantics in Multimedia Systems |
SIGADA
2004
Springer
15 years 4 months ago
2004
Springer
This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are...
103
click to vote
VMCAI
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
103
click to vote
COMPSAC
2003
IEEE
15 years 4 months ago
2003
IEEE
Short product cycles and rapidly changing requirements are increasingly forcing developers to use agile development strategies like extreme programming and test–driven developme...
COOPIS
2003
IEEE
15 years 4 months ago
2003
IEEE
Ontologies in current computer science parlance are computer based resources that represent agreed domain semantics. This paper first introduces ontologies in general and subseque...
ICDAR
2003
IEEE
15 years 4 months ago
2003
IEEE
Interpretation of paper drawings has received a good deal of attention over the last decade. Progress has also been made in related areas such as direct interpretation of human dr...