2404 search results - page 346 / 481 » Postmodernism and Control Engineering |
90
Voted
JPDC
2006
15 years 24 days ago
2006
We introduce Virtual Leashing,1 a new technique for software protection and control. The leashing process removes small fragments of code, pervasive throughout the application, an...
104
click to vote
FUIN
2007
15 years 23 days ago
2007
We define Concurrent Turing Machines (CTMs) as Turing machines with Petri nets as finite control. This leads to machines with arbitrary many tape heads, thus subsuming any class ...
76
Voted
SIGMETRICS
2008
ACM
15 years 22 days ago
2008
ACM
We study the problem of guaranteeing data durability [2] in distributed storage systems based on replication. Our work is motivated by several several recent efforts [3, 5, 1] to ...
INFSOF
2000
15 years 19 days ago
2000
The paper shows a SHEL oriented requirements engineering approach, which has been applied in a case study dealing with the definition of the requirements for a new railways traffi...
96
Voted
PVLDB
2008
15 years 9 days ago
2008
Progress in science and engineering relies on the ability to measure, reliably and in detail, pertinent properties of artifacts under design. Progress in the area of database-inde...