6201 search results - page 1107 / 1241 » Implementation of Axiomatic Language |
128
click to vote
ML
2007
ACM
15 years 4 months ago
2007
ACM
The problem of disjoint sets, also known as union-find, consists in maintaining a partition of a finite set within a data structure. This structure provides two operations: a fu...
146
Voted
PUC
2007
15 years 4 months ago
2007
Ubiquitous computing is unusual amongst technological research arenas. Most areas of computer science research, such as programming language implementation, distributed operating s...
141
click to vote
PUC
2008
15 years 4 months ago
2008
A number of emerging distributed platforms include xed and robust workstations but, like dynamic and pervasive networks, are often built from mobile and resource-constrained device...
166
click to vote
PVLDB
2008
15 years 4 months ago
2008
Access control is the problem of regulating access to secret information based on certain context information. In traditional applications, context information is known exactly, p...
147
Voted
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Web applications rely heavily on client-side computation to examine and validate form inputs that are supplied by a user (e.g., “credit card expiration date must be valid”). T...