18769 search results - page 370 / 3754 » Requirements Models in Context |
219
click to vote
TARK
2007
Springer
16 years 1 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
238
click to vote
CF
2004
ACM
16 years 1 months ago
2004
ACM
Pervasive computing applications allow users to access information from anywhere while traveling and using variety of devices. Heterogeneity and limitation of resources involved i...
235
click to vote
KRMED
2008
15 years 9 months ago
2008
SNOMED CT (SCT) has been designed and implemented in an era when health computer systems generally required terminology representations in the form of singular precoordinated conc...
192
click to vote
AO
2007
15 years 7 months ago
2007
One of the major goals of ontology is to represent properly the underlying conceptual structure of the messy world reflecting the reality as much as possible. Ontology building to...
207
click to vote
VIS
2007
IEEE
2007
IEEE
Contextualized Videos: Combining Videos with Environment Models to Support Situational Understanding
16 years 9 months ago
Multiple spatially-related videos are increasingly used in security, communication, and other applications. Since it can be difficult to understand the spatial relationships betwee...