Sciweavers

924 search results - page 37 / 185
» An expressive aspect language for system applications with A...
Sort
View
WSC
2007
15 years 8 months ago
Application of BML to inter-agent communication in the ITSimBw simulation environment
In this contribution we analyze communication requirements of multi-agent simulation systems using ITSimBw – developed at Fraunhofer IAIS – as an example. A focus is put on is...
Philipp Hügelmeyer, Ulrich Schade, Thomas Z&o...
ICFEM
2009
Springer
15 years 3 months ago
A Compositional Approach on Modal Specifications for Timed Systems
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, J...
PADL
2012
Springer
14 years 1 months ago
Typing the Numeric Tower
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Fla...
IJCNLP
2005
Springer
15 years 11 months ago
CTEMP: A Chinese Temporal Parser for Extracting and Normalizing Temporal Information
Temporal information is useful in many NLP applications, such as information extraction, question answering and summarization. In this paper, we present a temporal parser for extra...
Mingli Wu, Wenjie Li, Qin Lu, Baoli Li
PLSA
1994
15 years 10 months ago
Language and Architecture Paradigms as Object Classes
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...
Diomidis Spinellis, Sophia Drossopoulou, Susan Eis...