3717 search results - page 174 / 744 » Architecture-Based Design of Computer Based Systems |
146
click to vote
ICCAD
2003
IEEE
16 years 28 days ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
139
click to vote
CCS
2009
ACM
16 years 4 months ago
2009
ACM
In distributed systems users need the ability to share sensitive content with multiple other recipients based on their ability to satisfy arbitrary policies. One such system is el...
214
Voted
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Fuel cells are clean power sources that have much higher energy densities and lifetimes compared to batteries. However, fuel cells have limited load following capabilities and can...
126
Voted
LOCA
2009
Springer
15 years 10 months ago
2009
Springer
With proliferation of ubiquitous computing, digital access is facing an increasing risk since unauthorized client located at any place may intrude a local server. Location Based Ac...
142
Voted
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Modern distributed industrial control systems need improvements in their dependability. In this paper we study the dependability of a fault tolerant distributed industrial control ...