292 search results - page 46 / 59 » Property Verification for Generic Access Control Models |
TSMC
2008
13 years 8 months ago
2008
Abstract--The paper proposes an approach to content dissemination that exploits the structural properties of an Extensible Markup Language (XML) document object model in order to p...
LREC
2010
13 years 10 months ago
2010
As the number of language resources accessible on the Internet increases, many efforts have been made for combining language resources and language processing tools to create new ...
DAC
2007
ACM
14 years 9 months ago
2007
ACM
Processing and storage of confidential or critical information is an every day occurrence in computing systems. The trustworthiness of computing devices has become an important co...
CADE
2005
Springer
14 years 8 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
DSRT
2005
IEEE
14 years 2 months ago
2005
IEEE
We present a brief review of 42 collaborative visualization systems, grouped into four application areas: collaborative problem-solving environments, virtual reality environments,...