3717 search results - page 616 / 744 » Architecture-Based Design of Computer Based Systems |
147
click to vote
FM
2008
Springer
15 years 4 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
120
Voted
CCS
2009
ACM
15 years 9 months ago
2009
ACM
A major challenge of the anti-virus (AV) industry is how to effectively process the huge influx of malware samples they receive every day. One possible solution to this problem i...
107
click to vote
MIDDLEWARE
2007
Springer
15 years 8 months ago
2007
Springer
Snowbird is a middleware system based on virtual machine (VM) technology that simplifies the development and deployment of bimodal applications. Such applications alternate betwee...
130
click to vote
CF
2007
ACM
15 years 6 months ago
2007
ACM
This paper presents a novel architectural technique to hide fetch latency overhead of hardware encrypted and authenticated memory. A number of recent secure processor designs have...
157
Voted
MOBICOM
2009
ACM
15 years 9 months ago
2009
ACM
There has been burgeoning interest in wireless technologies that can use wider frequency spectrum. Technology advances, such as 802.11n and ultra-wideband (UWB), are pushing towar...