2205 search results - page 315 / 441 » Mutation Operators for Specifications |
133
Voted
POS
1994
Springer
15 years 7 months ago
1994
Springer
The differing requirements for concurrency models in programming languages and databases are widely diverse and often seemingly incompatible. The rigid provision of a particular c...
127
Voted
SEKE
1994
Springer
15 years 7 months ago
1994
Springer
We describe a technique for the control of production rules firing in an object-oriented setting. This technique is based on the separation of control rules from ordinary domain r...
129
Voted
ACMICEC
2007
ACM
15 years 7 months ago
2007
ACM
E-commerce is presently operating under its expected capacity, mainly because traders find it very difficult to trust one another online for trading decisions. It is therefore ver...
130
Voted
CCS
2009
ACM
15 years 7 months ago
2009
ACM
Device attestation is an essential feature in many security protocols and applications. The lack of dedicated hardware and the impossibility to physically access devices to be att...
109
Voted
EXPCS
2007
15 years 7 months ago
2007
Measuring the indirect cost of context switch is a challenging problem. In this paper, we show our results of experimentally quantifying the indirect cost of context switch using ...