9405 search results - page 1668 / 1881 » Computing a Model of Set Theory |
140
click to vote
ICS
2007
Tsinghua U.
15 years 10 months ago
2007
Tsinghua U.
This paper explores the scalability of the Stream Processor architecture along the instruction-, data-, and thread-level parallelism dimensions. We develop detailed VLSI-cost and ...
132
Voted
ICTCS
2007
Springer
15 years 10 months ago
2007
Springer
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...
137
click to vote
SAFECOMP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Cognition of technical systems, as the ability to perceive situations, to learn about favorable behavior, and to autonomously generate decisions, adds new attributes to s...
131
click to vote
TGC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We propose Architectural Design Rewriting (ADR), an approach to formalise the development and reconfiguration of software architectures based on term-rewriting. An archi...
112
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
e type system for the lmdElulus enrihed with reurE sive nd oreursive funtions over equiEindutive nd Eoindutive types is presented in whih ll wel...