Sciweavers

3706 search results - page 475 / 742
» System Description: E-KRHyper
Sort
View
JOLLI
2010
107views more  JOLLI 2010»
15 years 5 months ago
PGF: A Portable Run-time Format for Type-theoretical Grammars
Abstract PGF (Portable Grammar Format) is a low-level language used as a target of compiling grammars written in GF (Grammatical Framework). Low-level and simple, PGF is easy to re...
Krasimir Angelov, Björn Bringert, Aarne Ranta
MICS
2010
76views more  MICS 2010»
15 years 5 months ago
Mathematical Context in Interactive Documents
Abstract. In this paper we introduce the concept of an interactive mathematical document. We give a formal description of such a document, which enables us to introduce the notion ...
A. M. Cohen, Hans Cuypers, R. Verrijzer
MODELS
2010
Springer
15 years 5 months ago
Towards a Semantics of Activity Diagrams with Semantic Variation Points
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...
Hans Grönniger, Dirk Reiss, Bernhard Rumpe
SERA
2010
Springer
15 years 5 months ago
A UML Based Deployment and Management Modeling for Cooperative and Distributed Applications
Thanks to the major evolutions in the communication technologies and in order to deal with a continuous increase in systems complexity, current applications have to cooperate to ac...
Mohammed Nadhmi Miladi, Fatma Krichen, Mohamed Jma...
IGARSS
2010
15 years 4 months ago
Realization of the NASA Dual-Frequency Dual-Polarized Doppler Radar (D3R)
This paper describes some of the novel technologies adopted in the realization of the NASA Dual-frequency Dualpolarized Doppler Radar (D3R) system for to be used by the GPM ground...
Manuel Vega, James Carswell, V. Chandrasekar, Math...