9806 search results - page 1759 / 1962 » Engineering adaptive requirements |
199
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
182
click to vote
PPPJ
2003
ACM
15 years 12 months ago
2003
ACM
The graphical user interface (GUI) is an important component of many software systems. Past surveys indicate that the development of a GUI is a significant undertaking and that t...
196
click to vote
IWCMC
2010
ACM
15 years 11 months ago
2010
ACM
The first step required by the process of cognition is the intelligent observation of the environment that surrounds the actors of such a process. We present the CalRAdio-Based a...
144
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we propose a virtual file system, “SPDFS,” which provides global declarations in source programs as virtual files to programmers. Global declarations means ob...
134
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper explores the issues and the techniques of enabling multimedia applications for the thin client computing. A prototype of a video communication system based on H.323 fam...