2214 search results - page 356 / 443 » Initial Design of the |
PVLDB
2008
13 years 8 months ago
2008
Declarative languages have recently been proposed for many new applications outside of traditional data management. Since these are relatively early research efforts, it is import...
RE
2008
Springer
13 years 8 months ago
2008
Springer
An accurate set of traceability relations between software development artifacts is desirable to support evolutionary development. However, even where an initial set of traceabili...
JEI
2008
13 years 7 months ago
2008
Electronic visual prostheses, or "bionic eyes," are likely to provide some coarse visual sensations to blind patients who have these systems implanted. The quality of art...
IEEECIT
2010
IEEE
13 years 7 months ago
2010
IEEE
Phone simulator is a simulation tool running on PC which can test debug phone software. It also provides front graphical user interface (GUI) like the true phone’s LCD. Develope...
LICS
2010
IEEE
13 years 7 months ago
2010
IEEE
We consider formulas which, in addition to the symbols in the vocabulary, may use two designated symbols ≺ and + that must be interpreted as a linear order and its associated ad...