5189 search results - page 415 / 1038 » Modeling architectural patterns using architectural primitiv... |
153
click to vote
JCP
2008
15 years 4 months ago
2008
With the wireless communications coming to homes and offices, the need to have secure data transmission is of utmost importance. Today, it is important that information is sent con...
129
click to vote
DAC
2003
ACM
15 years 10 months ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
141
click to vote
DAC
1996
ACM
15 years 9 months ago
1996
ACM
Recent trends in the semiconductor industry have resulted in an increasing demand for low power circuits. POSE is a step in providing the EDA community and academia with an enviro...
114
Voted
CONTEXT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Context-aware systems must be able to deal with uncertain context information. We propose a generic context architecture and representation that incorporates the uncertai...
129
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
We present a framework (Real-Time Calculus) for analysing various system properties pertaining to timing analysis, loads on various components and on-chip buffer memory requiremen...