2500 search results - page 338 / 500 » Specifying Behavior in C |
136
Voted
DAC
2007
ACM
16 years 4 months ago
2007
ACM
Processing and storage of confidential or critical information is an every day occurrence in computing systems. The trustworthiness of computing devices has become an important co...
129
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
162
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
The large amount of information now available on the Web can play a prominent role in building a cooperative intelligent distance learning environment. We propose a system to prov...
130
Voted
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore "low-leve...
264
Voted
VLDB
2005
ACM
16 years 4 months ago
2005
ACM
Estimating the selectivity of multidimensional range queries over real valued attributes has significant applications in data exploration and database query optimization. In this p...