2765 search results - page 168 / 553 » Works and representation |
186
click to vote
FASE
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
236
Voted
TASE
2010
IEEE
15 years 1 months ago
2010
IEEE
Concurrent engineering (CE) is a methodology applied to product lifecycle development so that high quality, well designed products can be provided at lower prices and in less time....
184
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
We present the design of an experiment investigating presence disparity in mixed presence collaboration using digital tabletops. In an attempt to verify previous work and relate t...
206
Voted
MIE
2008
15 years 8 months ago
2008
In this work we present the usage of semantic web knowledge representation formalism (OWL) in combination with general purpose reasoning for building a medical expert system. The a...
221
Voted
DAC
2004
ACM
16 years 8 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...