8623 search results - page 1370 / 1725 » Software engineering for secure systems |
198
click to vote
CSMR
2005
IEEE
16 years 12 days ago
2005
IEEE
Wrapping databases allows them to be reused in formerly unplanned contexts, such as web-based applications or federated systems. Indeed, a wrapper can provide external clients of ...
165
click to vote
SWSTE
2005
IEEE
16 years 11 days ago
2005
IEEE
Flash memory is a type of electrically erasable programmable read-only memory (EEPROM). Because flash memories are nonvolatile and relatively dense, they are now used to store ...
191
click to vote
FASE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
179
click to vote
FATES
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
195
click to vote
IUI
2004
ACM
16 years 6 days ago
2004
ACM
While sketches are commonly and effectively used in the early stages of design, some information is far more easily conveyed verbally than by sketching. In response, we have combi...