7811 search results - page 1419 / 1563 » computing 2004 |
116
click to vote
GG
2004
Springer
15 years 8 months ago
2004
Springer
A string generating hypergraph grammar is a hyperedge replacement grammar where the resulting language consists of string graphs i.e. hypergraphs modeling strings. With the help of...
110
Voted
GI
2004
Springer
15 years 8 months ago
2004
Springer
: Zur Beherrschung der komplexen vernetzten und verteilten Funktionen von Automotive-Software ist eine Beschreibung des zu erstellenden Systems auf verschiedenen Abstraktionsebenen...
125
Voted
ICALP
2004
Springer
15 years 8 months ago
2004
Springer
Monadic least fixed point logic MLFP is a natural logic whose expressiveness lies between that of first-order logic FO and monadic second-order logic MSO. In this paper we take ...
122
Voted
IMR
2004
Springer
15 years 8 months ago
2004
Springer
The aim of this paper is to study the feasibility of using (irreversible) entropy production as driving force for a moving mesh. Such a method should be able to capture or track p...
236
click to vote
IWAN
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we present GateScript, a scripting language for active applications to be executed on generic active gateways. Unlike other active networking platforms, it offers a...