3555 search results - page 583 / 711 » Security-Critical System Development with Extended Use Cases |
163
click to vote
ERCIMDL
2005
Springer
15 years 12 months ago
2005
Springer
MedioVis is a visual information seeking system which was designed especially for library data. The objective target was to create a system which simplifies and optimizes the user...
177
click to vote
FPGA
2008
ACM
15 years 7 months ago
2008
ACM
We present HybridOS, a set of operating system extensions for supporting fine-grained reconfigurable accelerators integrated with general-purpose computing platforms. HybridOS spe...
149
click to vote
RTSS
1997
IEEE
15 years 10 months ago
1997
IEEE
In [6], we proposed a new commit protocol, OPT, specially designed for use in distributed firm-deadline real-time database systems. OPT allows transactions to “optimistically...
200
click to vote
MOBISYS
2010
ACM
15 years 8 months ago
2010
ACM
Ensemble is a system that uses a collection of trusted personal devices to provide proximity-based authentication in pervasive environments. Users are able to securely pair their ...
179
click to vote
GI
1997
Springer
15 years 10 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...