ENC
2007
IEEE
13 years 7 months ago
2007
IEEE
GG
2010
Springer
13 years 7 months ago
2010
Springer
I briefly review the history of the unfolding approach to model checking. Carl Adam Petri passed away on July 2, 2010. I learnt about his death three days later, a few hours after ...
GG
2010
Springer
13 years 7 months ago
2010
Springer
We introduce an analysis method for graph transformation systems which checks that certain forbidden graphs are not reachable from the start graph. These forbidden graphs are speci...
DLT
2010
13 years 7 months ago
2010
We show that for every deterministic bottom-up tree transducer, a unique equivalent transducer can be constructed which is minimal. The construction is based on a sequence of norma...
CSR
2010
Springer
13 years 7 months ago
2010
Springer
ITICSE
2010
ACM
13 years 7 months ago
2010
ACM
Teaching wireless sensor networks (WSNs) at the undergraduate level is both challenging and rewarding. WSNs include low-level programming and debugging, power-aware operations, no...
ITICSE
2010
ACM
13 years 7 months ago
2010
ACM
We present the curriculum, deployment, and initial evaluation of a course, BioCS1, designed to serve as CS1 and Biology1 for majors of either (or both) disciplines. Cotaught by pr...
GI
2008
Springer
13 years 8 months ago
2008
Springer
: As data and services are increasingly distributed in the network, rather than stored in a fixed location, one can imagine a scenario in which the Personal Computer, intended as a...
GI
2008
Springer
13 years 8 months ago
2008
Springer
: Dieser Beitrag identifiziert und klassifiziert mögliche Angreifer und Angriffe rund um die Einführung der neuen elektronischen Gesundheitskarte bzw. rund um die Telematik-Infra...
GI
2008
Springer
13 years 8 months ago
2008
Springer
: This project sets a discussion about possible improvements for mobile menu structuring. Navigation on mobile phones is supposed to get quicker and easier. To reach for better use...