5451 search results - page 971 / 1091 » Typed Operational Semantics |
188
Voted
HICSS
2012
IEEE
13 years 11 months ago
2012
IEEE
The concept of interoperability of data and model as presented in this paper is viewed as being very useful for implementing variety of future applications related to power system...
153
Voted
HPCA
2012
IEEE
13 years 11 months ago
2012
IEEE
Data races are a major contributor to parallel software unreliability. A type of race that is both common and typically harmful is the Asymmetric data race. It occurs when at leas...
178
click to vote
POST
2012
13 years 11 months ago
2012
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
184
Voted
ICDE
2012
IEEE
13 years 6 months ago
2012
IEEE
Abstract—Relational database management systems are general in the sense that they can handle arbitrary schemas, queries, and modifications; this generality is implemented using...
190
Voted
PODC
2012
ACM
13 years 6 months ago
2012
ACM
The BGP (Border Gateway Protocol) is the single inter-domain routing protocol that enables network operators within each autonomous system (AS) to influence routing decisions by ...