7811 search results - page 1419 / 1563 » computing 2004 |
127
click to vote
GG
2004
Springer
15 years 10 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...
123
click to vote
GI
2004
Springer
15 years 10 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...
135
click to vote
ICALP
2004
Springer
15 years 10 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 ...
135
click to vote
IMR
2004
Springer
15 years 10 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...
246
click to vote
IWAN
2004
Springer
15 years 10 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...