4386 search results - page 789 / 878 » A Tamper-Resistant Programming Language System |
125
click to vote
DICS
2006
15 years 3 months ago
2006
Achieving software reliability takes many complementary techniques, directed at the process or at the products. This survey summarizes some of the most fruitful ideas. 1 OVERVIEW ...
126
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...
149
click to vote
ASPLOS
2012
ACM
13 years 9 months ago
2012
ACM
Virtualization has become a standard part of many computer systems. A key part of virtualization is the all-powerful hypervisor which manages the physical platform and can access ...
139
click to vote
WWW
2003
ACM
16 years 2 months ago
2003
ACM
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...
112
click to vote
ASPLOS
2010
ACM
15 years 8 months ago
2010
ACM
Contention for shared resources on multicore processors remains an unsolved problem in existing systems despite significant research efforts dedicated to this problem in the past...