1837 search results - page 108 / 368 » Abstraction and the C Machine Model |
143
click to vote
ISICT
2003
15 years 7 months ago
2003
Abstract: A vision of tools to support software development organizations in the process of development, maintenance and evolution of systems is presented. The envisioned tools see...
156
click to vote
SEFM
2006
IEEE
16 years 14 days ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
145
click to vote
DCC
2006
IEEE
16 years 6 months ago
2006
IEEE
Abstract. The Compressed Delta Encoding paradigm is introduced, i.e., delta encoding directly in two given compressed files without decompressing. Here we explore the case where th...
141
click to vote
ICSE
1994
IEEE-ACM
15 years 10 months ago
1994
IEEE-ACM
Abstract. Formal, visual approaches to system modelling are a promising research sub-area of con guration management. A visual notation for con guring software systems, called ConF...
202
click to vote
AMFG
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. This paper addresses an aspect of sign language (SL) recognition that has largely been overlooked in previous work and yet is integral to signed communication. It is the ...