2278 search results - page 30 / 456 » Specification Techniques for Automatic Performance Analysis ... |
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
When researching new product ideas or filing new patents, inventors need to retrieve all relevant pre-existing know-how and/or to exploit and enforce patents in their technologica...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between different design parts, provides a formal specif...
75
Voted
ICPP
1994
IEEE
15 years 1 months ago
1994
IEEE
Shared memory in a parallel computer provides prowith the valuable abstraction of a shared address space--through which any part of a computation can access any datum. Although un...
MVA
1996
14 years 11 months ago
1996
To use photographs in visual simulation such as synthesizing new images by overlapping an object in an image onto the other, physically significant regions corresponding to object...
CCS
2005
ACM
15 years 3 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 ...