15840 search results - page 644 / 3168 » The Control of Synchronous Systems |
187
click to vote
CSFW
2005
IEEE
16 years 25 days ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
228
click to vote
VRST
1998
ACM
15 years 11 months ago
1998
ACM
It is difficult to navigate virtual environment as in real world and to interact with other participant in virtual environment, especially wearing Head-Mounted Display (HMD). We d...
193
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
Usage controls allow the distributor of some information to limit how recipients of that information may use it. The Trusted Computing Group has standardized Trusted Platform Modu...
191
click to vote
ECAL
2005
Springer
16 years 22 days ago
2005
Springer
This paper explores the performance of a simple model agent using a reactive controller in situations where, from an external perspective, a solution that relies on internal states...
188
click to vote
SACMAT
2005
ACM
16 years 23 days ago
2005
ACM
Electronic transactions regularly occur between business partners in separate security domains. Trust negotiation is an approach that provides an open authentication and access-co...