13306 search results - page 411 / 2662 » Theoretical Computer Science |
169
click to vote
TLCA
2005
Springer
16 years 10 days ago
2005
Springer
We give a monadic semantics in the category of FM-cpos to a higher-order CBV language with recursion and dynamically allocated mutable references that may store both ground data an...
139
click to vote
GI
2005
Springer
16 years 9 days ago
2005
Springer
: Dieser Beitrag stellt die Integration von OpenOffice.org in eine Lösung für Haushalt und Controlling der Gruppe IT der Bundesanstalt für Finanzdienstleistungsaufsicht BaFin vo...
150
click to vote
ACMSE
2004
ACM
16 years 8 days ago
2004
ACM
Sensor networks consist of resource-constrained sensors operating in a variety of environments. Given the severe constraints on these sensors, it is a particularly challenging pro...
203
click to vote
GG
2004
Springer
16 years 7 days ago
2004
Springer
We propose to study two infinite graph transformations that we respectively call bounded and unbounded path transduction. These graph transformations are based on path substitutio...
155
click to vote
GI
2004
Springer
16 years 7 days ago
2004
Springer
: In this paper we describe one of the authors’ experiences working for an IT service provider in an SME environment. The paper starts with an analysis of the factors typical for...