7080 search results - page 441 / 1416 » Designing High Integrity Systems Using Aspects |
157
click to vote
DEXAW
2003
IEEE
15 years 10 months ago
2003
IEEE
We present the framework of a new grid architecture based on the peer-to-peer and the component paradigms. In our architecture, several peer-to-peer components are loosely coupled...
175
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
Background: Finding relevant articles from PubMed is challenging because it is hard to express the user’s specific intention in the given query interface, and a keyword query ty...
150
Voted
WSC
1997
15 years 6 months ago
1997
Components of modern parallel systems are becoming quite complex with many features and variations. An integrated modeling of these components (interconnection network, messaging ...
235
click to vote
SOSP
2007
ACM
16 years 1 months ago
2007
ACM
We propose SecVisor, a tiny hypervisor that ensures code integrity for commodity OS kernels. In particular, SecVisor ensures that only approved code can execute in kernel mode ove...
130
click to vote
ICCD
2003
IEEE
16 years 1 months ago
2003
IEEE
There is currently a huge gap between the two main technologies used to implement custom digital integrated circuit (IC) designs. At one end of the spectrum are field programmable...