1313 search results - page 222 / 263 » Generic Universe Types |
122
click to vote
COMPUTER
2004
15 years 4 months ago
2004
Given the heightened awareness and response to threats posed to national security, it is important to evaluate, and if possible, improve current measures being taken to ensure our...
124
click to vote
ENTCS
2002
15 years 4 months ago
2002
Call-by-push-value is a "semantic machine code", providing a set of simple primitives from which both the call-by-value and call-by-name paradigms are built. We present i...
126
Voted
JOLLI
2002
15 years 4 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
139
click to vote
JUCS
2002
15 years 4 months ago
2002
: A purely communicative variant of P systems was considered recently, based on the trans-membrane transport of couples of chemicals. When using both symport rules (the chemicals p...
136
click to vote
TOCS
2002
15 years 4 months ago
2002
This paper presents secure program partitioning, a language-based technique for protecting confidential data during computation in distributed systems containing mutually untruste...