Hasil Pencarian  ::  Simpan CSV :: Kembali

"In the history of generative grammar, the question of the semantics of compounds was caught up in what Newmeyer (1986) called the "Linguistic Wars", the conflict between generative semantics and interpretive semantics. An important difference between the two sides was the place they attributed to semantics in the architecture of grammar. In generative semantics, the semantic representation was the starting point for syntactic processing. The syntactic level of Deep Structure had been merged with the underlying semantic representation. In interpretive semantics, the semantic representation was derived from a syntactic representation by means of interpretation rules."

"The authors present a methodology for formally describing security protocols and their environment. This methodology includes a model for describing protocols, their execution model, and the intruder model. The models are extended with a number of well-defined security properties, which capture the notions of correct protocols, and secrecy of data. The methodology can be used to prove that protocols satisfy these properties. Based on the model they have developed a tool set called Scyther that can automatically find attacks on security protocols or prove their correctness. In case studies they show the application of the methodology as well as the effectiveness of the analysis tool."

"This book constitutes the refereed proceedings of the 6th Metadata and Semantics Research Conference, MTSR 2012, held in Cádiz, Spain, in November 2012. The 33 revised papers presented were carefully reviewed and selected from 85 submissions. The papers are organized in a general, main track and several others: a track on metadata and semantics for open access repositories, research information systems and infrastructures, a second on metadata and semantics for cultural collections and applications, and finally one on metadata and semantics for agriculture, food and environment."