1493 search results - page 248 / 299 » Learning Concepts by Modeling Relationships |
CSL
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
FSS
2008
14 years 12 months ago
2008
We work with fuzzy Turing machines (FTMs) and we study the relationship between this computational model and classical recursion concepts such as computable functions, recursively...
102
click to vote
CAD
1999
Springer
14 years 11 months ago
1999
Springer
This paper is concerned with the mathematics and formal specification of "set-like" operations for the mixed dimension cellular objects of the Djinn Application Programm...
107
click to vote
TKDE
2010
14 years 10 months ago
2010
—In this paper, we describe and evaluate a Web service discovery framework using OWL-S advertisements, combined with the distinction between service and Web service of the WSMO D...
SCN
2010
Springer
14 years 9 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...