✦ LIBER ✦

Semantics and pragmatics of Real-Time Maude

✍ Scribed by Peter Csaba Ölveczky; José Meseguer

Publisher: Springer
Year: 2007
Tongue: English
Weight: 572 KB
Volume: 20
Category: Article
ISSN: 1388-3690
DOI: 10.1007/s10990-007-9001-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Real-Time Maude: A Tool for Simulating a

Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems

✍ Peter Csaba ölveczky; José Meseguer 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 197 KB

Semantic and pragmatic characterizabilit

Semantic and pragmatic characterizability of linguistic usage

✍ Lennart Åqvist 📂 Article 📅 1967 🏛 Springer Netherlands 🌐 English ⚖ 603 KB

Groenn, A.: 2004,The Semantics and Pragm

Groenn, A.: 2004,The Semantics and Pragmatics of the Russian Factual Imperfective

✍ Elena Viktorovna Padučeva 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 177 KB

An Executable Specification of Asynchron

An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0

✍ Prasanna Thati; Koushik Sen; Narciso Martí-Oliet 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 294 KB

A note on a confusion of pragmatic and s

A note on a confusion of pragmatic and semantic aspects of negation

✍ Jay David Atlas 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 229 KB

Enhanced layered segment trees: a pragma

Enhanced layered segment trees: a pragmatic data structure for real-time processing of geometric objects

✍ Gopal Racherla; Sridhar Radhakrishnan; B.John Oommen 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 112 KB

The data structure that is probably most used in the pattern recognition and image processing of geometric objects is the segment tree and its optimized variant, the "layered segment tree". In all the versions currently known, except the work of Vaishnavi and Wood described later, these data structu