2106 search results - page 197 / 422 » Specifying C concepts |
132
click to vote
TPDS
2010
15 years 2 months ago
2010
—In distributed computing systems (DCSs) where server nodes can fail permanently with nonzero probability, the system performance can be assessed by means of the service reliabil...
174
click to vote
ECWEB
2010
Springer
15 years 2 months ago
2010
Springer
Traditional negotiation, conducted face-to-face and via mail or telephone, is often difficult to manage, prone to misunderstanding, and time consuming. Automated negotiation promis...
155
click to vote
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Regular expression (Regex) becomes the standard signature language for security and application detection. Deterministic finite automata (DFAs) are widely used to perform...
165
click to vote
IFIPTCS
2010
15 years 2 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
149
click to vote
SCN
2010
Springer
15 years 2 months ago
2010
Springer
This paper introduces and explores the new concept of Time-Specific Encryption (TSE). In (Plain) TSE, a Time Server broadcasts a key at the beginning of each time unit, a Time Inst...