8190 search results - page 1494 / 1638 » From Timed to Hybrid Systems |
178
click to vote
PRESENCE
2000
15 years 6 months ago
2000
The Virtual Explorer project of the Senses Bureau at the University of California, San Diego, focuses on creating immersive, highly interactive environments for education and scie...
187
click to vote
DTJ
1998
15 years 6 months ago
1998
ir increasing use of abstraction, modularity, delayed binding, polymorphism, and source reuse, especially when these attributes are used in combination. Modern processor architectu...
145
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we present the idea of offline count-limited certificates (or clics for short), and show how these can be implemented using minimal trusted hardware functionality a...
167
click to vote
SCFBM
2008
15 years 6 months ago
2008
Background: High throughput laboratory techniques generate huge quantities of scientific data. Laboratory Information Management Systems (LIMS) are a necessary requirement, dealin...
192
click to vote
SCP
2010
15 years 4 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...