3911 search results - page 741 / 783 » Using Operational Architecture to Model Embedded Software |
136
Voted
HYBRID
1997
Springer
15 years 6 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
WCE
2007
15 years 3 months ago
2007
Abstract—The major infrastructure component required to develop an underground mine is a decline, which is a system of tunnels used for access and haulage. In this paper we study...
136
click to vote
TCOM
2010
14 years 9 months ago
2010
Abstract--This paper provides a systematic mutual information (MI) and multichannel beamforming (MBF) characterization of optimized multiple-input multiple-output (MIMO) communicat...
126
click to vote
CCS
2007
ACM
15 years 8 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 ...
119
click to vote
MICRO
2009
IEEE
15 years 9 months ago
2009
IEEE
A platform that supported Sequential Consistency (SC) for all codes — not only the well-synchronized ones — would simplify the task of programmers. Recently, several hardware ...