2500 search results - page 118 / 500 » Specifying Behavior in C |
106
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
We present a new role system for specifying changing referencing relationships of heap objects. The role of an object depends, in large part, on its aliasing relationships with ot...
109
Voted
CACM
2000
15 years 3 months ago
2000
data model provides an abstract, conceptual framework; a concrete syntax is also required and XML is used for this purpose. The XML namespace mechanism serves to identify RDF Schem...
141
click to vote
DSS
2006
15 years 3 months ago
2006
Due to the sensitive data contained in Data Warehouses (DW), it is essential to specify security measures from the early stages of the DW design and enforce them. Traditional acce...
114
click to vote
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
148
click to vote
CHI
2010
ACM
15 years 1 days ago
2010
ACM
Strong representative democracies rely on educated, informed, and active citizenry to provide oversight of the government. We present Connect 2 Congress (C2C), a novel, high tempo...