14190 search results - page 2836 / 2838 » Abstractions for hybrid systems |
GI
2008
Springer
14 years 11 months ago
2008
Springer
Abstract: Das Identity Management (IDM) an Hochschulen ist in der Praxis angekommen und muss sich in der Realit¨at bew¨ahren. Hierzu z¨ahlt einerseits die Integration von Datenb...
106
click to vote
FMICS
2009
Springer
15 years 4 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
102
click to vote
SCHULE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: In Zeiten von Web 2.0 finden immer mehr Aktivit¨aten orts- und zeitunabh¨angig ¨uber das Internet statt. Lerninhalte und Aufgabentexte in einem Wiki aufzubereiten, um...
GI
2007
Springer
15 years 4 months ago
2007
Springer
Abstract: Sowohl im praktischen Diskurs von Bürgerrechtsvertretern und Datenschützern wie auch in theoretisch ausgerichteten Debatten werden Ausdrücke wie Ubiquitous Computing, ...
SCHULE
2007
Springer
15 years 4 months ago
2007
Springer
Abstract: AtoCC (http://www.atocc.de) ist eine modular aufgebaute Lehr-/ Lernumgebung für ausgewählte Inhalte der theoretischen Informatik (formale Sprachen und Automaten) und Gr...