611 search results - page 39 / 123 » Relative simulation and model checking of real-time processe... |
RTAS
2005
IEEE
14 years 2 months ago
2005
IEEE
Control systems running on a computer are subject to timing disturbances coming from implementation constraints. Fortunately closed-loop systems behave robustly w.r.t. modelling e...
CSFW
2000
IEEE
14 years 1 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
SG
2005
Springer
14 years 2 months ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...
CCS
2007
ACM
14 years 3 months ago
2007
ACM
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...
DAWAK
2008
Springer
13 years 10 months ago
2008
Springer
Analyzing the author and topic relations in email corpus is an important issue in both social network analysis and text mining. The AuthorTopic model is a statistical model that id...