3555 search results - page 559 / 711 » Security-Critical System Development with Extended Use Cases |
130
click to vote
HPCA
2012
IEEE
13 years 11 months ago
2012
IEEE
Recent research on memory disaggregation introduces a new architectural building block—the memory blade—as a cost-effective approach for memory capacity expansion and sharing ...
135
click to vote
APCCM
2009
15 years 5 months ago
2009
Application domain description precedes requirements engineering, and is the basis for the development of a software or information system that satisfies all expectations of its u...
142
click to vote
ASE
2002
15 years 3 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
133
click to vote
MVA
2000
15 years 5 months ago
2000
Touch screens are very convenient because one can directly point to where it is interesting. This paper presents an inexpensive technique to transform an ordinary screen into a to...
146
click to vote
ESOP
2001
Springer
15 years 8 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...