1805 search results - page 215 / 361 » A Theory of Closure Operators |
153
click to vote
ASAP
2005
IEEE
16 years 4 days ago
2005
IEEE
The COMPAAN/LAURA [18] tool chain maps nested loop applications written in Matlab onto reconfigurable platforms, such as FPGAs. COMPAAN rewrites the original Matlab application a...
203
click to vote
CCS
2005
ACM
16 years 1 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
152
click to vote
CIE
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We define a general concept of a network of analogue modules connected by channels, processing data from a metric space A, and operating with respect to a global continu...
161
click to vote
EPIA
2005
Springer
16 years 1 days ago
2005
Springer
In this paper, we investigate the link between logics of games and “mentalistic” logics of rational agency, in which agents are characterized in terms of attitudes such as beli...
158
click to vote
PPDP
2005
Springer
16 years 4 hour ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...