1803 search results - page 142 / 361 » Architectural framework for supporting operating system surv... |
166
click to vote
TAICPART
2006
IEEE
16 years 13 days ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
172
click to vote
ICS
2003
Tsinghua U.
2003
Tsinghua U.
Roccom: an object-oriented, data-centric software integration framework for multiphysics simulations
15 years 11 months ago
We describe an object-oriented software integration frameccom, abstracted from our five years of experience in developing a complex, integrated code for rocket simulation. Roccom...
184
click to vote
ECIS
2000
15 years 7 months ago
2000
Different models of Decision Support Systems (DSS) are used in medicine to help physicians in disease diagnosis, prognosis evaluation and therapy prescription. The DSS models rely ...
189
click to vote
RTAS
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programmi...
143
click to vote
CCS
2005
ACM
15 years 12 months ago
2005
ACM
We present a technique for automatic placement of authorization hooks, and apply it to the Linux security modules (LSM) framework. LSM is a generic framework which allows diverse ...