3999 search results - page 647 / 800 » Design of Optical Access Systems using Computer Modeling |
128
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
153
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
Augmented Chemistry (AC) is an application that utilizes a tangible user interface (TUI) for organic chemistry education. The empirical evaluation described in this paper compares...
143
click to vote
CSE
2009
IEEE
15 years 12 months ago
2009
IEEE
Recent research identifies a growing privacy problem that exists within Online Social Networks (OSNs). Several studies have shown how easily strangers can extract personal data a...
131
click to vote
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
Industry vendors hesitate to disseminate proprietary applications to academia and third party vendors. By consequence, the benchmarking process is typically driven by standardized...
157
click to vote
CCGRID
2006
IEEE
15 years 7 months ago
2006
IEEE
In the Biodiversity World (BDW) project we have created a flexible and extensible Web Services-based Grid environment for biodiversity researchers to solve problems in biodiversity...