924 search results - page 37 / 185 » An expressive aspect language for system applications with A... |
WSC
2007
13 years 11 months ago
2007
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...
ICFEM
2009
Springer
13 years 6 months ago
2009
Springer
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, ...
PADL
2012
Springer
12 years 4 months ago
2012
Springer
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...
IJCNLP
2005
Springer
14 years 2 months ago
2005
Springer
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...
PLSA
1994
14 years 28 days ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...