4386 search results - page 656 / 878 » A Tamper-Resistant Programming Language System |
137
click to vote
CC
2004
Springer
15 years 9 months ago
2004
Springer
We present an algorithm for counting the number of integer solutions to selected free variables of a Presburger formula. We represent the Presburger formula as a deterministic fin...
117
Voted
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We introduce the notion of coordination mechanisms to improve the performance in systems with independent selfish and noncolluding agents. The quality of a coordination ...
109
Voted
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
: Despite the growing interest in Interactive Storytelling (IS), there have been only a small number of implemented demonstrators and few have attempted at developing a re-usable I...
135
Voted
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Data integration is one of the older research fields in the database area and has emerged shortly after database systems were first introduced into the business world. In this pa...
149
Voted
DSN
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we present a new fault injection tool called GOOFI (Generic Object-Oriented Fault Injection). GOOFI is designed to be adaptable to various target systems and differ...