3206 search results - page 192 / 642 » How minds can be computational systems |
170
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
: In this paper, we address the problem of synthesizing opaque systems. A secret predicate S over the runs of a system G is opaque to an external user having partial observability ...
180
Voted
SAINT
2006
IEEE
16 years 1 months ago
2006
IEEE
Overload can reduce the overall performance of a computer system up to a point where the whole service might collapse. Thus, for example the load on a server must be controlled to...
208
click to vote
AC
1999
Springer
15 years 11 months ago
1999
Springer
A widely used computational model for constructing fault-tolerant distributed applications employs atomic transactions for controlling operations on persistent objects. There has ...
195
Voted
SWS
2004
ACM
16 years 14 days ago
2004
ACM
W3C Recommendations XML Encryption and XML-Digital Signature can be used to protect the confidentiality of and provide assurances about the integrity of XML documents transmitted...
187
Voted
SOSP
2009
ACM
16 years 3 months ago
2009
ACM
Commodity computer systems contain more and more processor cores and exhibit increasingly diverse architectural tradeoffs, including memory hierarchies, interconnects, instructio...