1495 search results - page 62 / 299 » Modeling and controllability for a class of hybrid mechanica... |
ISORC
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, a Role-based Access Control (RBAC) model is applied and extended to a multimedia version called Multi-Role Based Access Control (MRBAC), which can fully support the...
HYBRID
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
FMCAD
2004
Springer
14 years 17 days ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
HYBRID
2004
Springer
14 years 2 months ago
2004
Springer
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...
IWDC
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Endpoint admission control is a mechanism for achieving scalable services by pushing quality-of-service functionality to end hosts. In particular, hosts probe the network...