4690 search results - page 811 / 938 » An operational semantics for Scheme |
171
Voted
PARLE
1992
15 years 11 months ago
1992
Collection-oriented languages provide high-level constructs for describing computations over collections. These languages are becoming increasingly popular with the advent of massi...
241
Voted
RTSS
1992
IEEE
15 years 11 months ago
1992
IEEE
The problem of scheduling a set of sporadic tasks that share a set of serially reusable, single unit software resources on a single processor is considered. The correctness condit...
162
click to vote
VLDB
1992
ACM
15 years 11 months ago
1992
ACM
In most database systems with production rule facilities, rules respond to operations on centralized data and rule processing is performed in a centralized, sequential fashion. In ...
180
click to vote
OOPSLA
1989
Springer
15 years 11 months ago
1989
Springer
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
183
Voted
CCS
2009
ACM
15 years 11 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...