9806 search results - page 1759 / 1962 » Engineering adaptive requirements |
218
click to vote
PLDI
2003
ACM
16 years 13 days 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...
199
click to vote
PPPJ
2003
ACM
16 years 13 days 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...
225
click to vote
IWCMC
2010
ACM
16 years 8 days 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...
159
click to vote
APSEC
2002
IEEE
16 years 5 days 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...
162
click to vote
COMPSAC
2002
IEEE
16 years 5 days 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...