3828 search results - page 608 / 766 » Proof-Based System Engineering Using a Virtual System Model |
177
Voted
VLSID
2008
IEEE
15 years 11 months ago
2008
IEEE
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...
149
click to vote
POS
1994
Springer
15 years 9 months ago
1994
Springer
The differing requirements for concurrency models in programming languages and databases are widely diverse and often seemingly incompatible. The rigid provision of a particular c...
157
Voted
ICCBSS
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we propose a taxonomy for classifying COTS business applications, i.e. products that are used in the daily functioning of all types of organizations worldwide, such a...
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...
165
click to vote
CBMS
2006
IEEE
15 years 11 months ago
2006
IEEE
The Electronic Medical Record (EMR) integrates heterogeneous information within a Healthcare Institution stressing the need for security and access control. The Biostatistics and ...