2688 search results - page 152 / 538 » A formal semantics for P3P |
178
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
The emergence of the Web has made more and more news items available, however only a small subset of these news items are relevant in a decision making process. Therefore decision...
202
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
We develop a rigorous semantics for Power and ARM multiprocessor programs, including their relaxed memory model and the behaviour of reasonable fragments of their instruction sets...
153
Voted
ESWS
2007
Springer
16 years 20 days ago
2007
Springer
The Semantic Web seems to be evolving into a property-linked web of RDF data, conceptually divorced from (but physically housed in) the hyperlinked web of HTML documents. We discus...
189
click to vote
WISE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This paper describes MEAT (Memory of Experiments for the Analysis of Transcriptomes), a project aiming at supporting biologists working on DNA microarrays. We provide met...
170
click to vote
ESMART
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents an operational semantics for a subset of Java Card bytecode, focussing on aspects of the Java Card firewall, method invocation, field access, variable access,...