Sciweavers

924 search results - page 10 / 185
» An expressive aspect language for system applications with A...
Sort
View
ENTCS
2002
84views more  ENTCS 2002»
13 years 7 months ago
Set Types and Applications
We present pmlB, a programming language that includes primitive sets and associated operations. The language is equipped with a precise type discipline that statically captures dy...
Christian Skalka, Scott F. Smith
EACL
1989
ACL Anthology
13 years 8 months ago
Expressing generalizations in unification-based grammar formalisms
This paper shows how higher levels of generalization can be introduced into unification grammars by exploiting methods for typing grammatical objects. We discuss the strategy of u...
Marc Moens, Jonathan Calder, Ewan Klein, Mike Reap...
ISCA
2002
IEEE
141views Hardware» more  ISCA 2002»
13 years 7 months ago
SADL: Simulation Architecture Description Language
This paper introduces the Simulation Architecture Description Language (SADL) developed at the National Aeronautics and Space Administration's Marshall Space Flight Center to...
Kenneth G. Ricks, John M. Weirs, B. Earl Wells
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
14 years 29 days ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
AGILE
2007
Springer
184views GIS» more  AGILE 2007»
14 years 1 months ago
Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture
Environmental databases store a wide variety of data from heterogeneous sources which are described with domain-specific terminologies and refer to distinct locations. In order to ...
Rolf Grütter, Bettina Bauer-Messmer