7452 search results - page 1165 / 1491 » A Semantics for Multiprocessor Systems |
201
click to vote
VMCAI
2004
Springer
16 years 3 days 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 ...
216
click to vote
COMPSAC
2003
IEEE
16 years 1 days 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...
179
click to vote
COOPIS
2003
IEEE
16 years 1 days 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...
146
click to vote
ICDAR
2003
IEEE
16 years 1 days 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...
152
click to vote
INFOCOM
2003
IEEE
16 years 1 days ago
2003
IEEE
—Applications on mobile computers must adapt to high variability in wireless network performance. Extending the semantics of transport protocols to offer more control over commun...