20655 search results - page 4130 / 4131 » Exploring Software Systems |
164
click to vote
FMICS
2009
Springer
15 years 10 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 + ...
170
click to vote
SCHULE
2009
Springer
15 years 10 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...
125
click to vote
GI
2007
Springer
15 years 10 months ago
2007
Springer
: Unternehmen wollen ihre Softwaresysteme heute in allen Branchen und insbesondere auch in der Logistik zu serviceorientierten Anwendungslandschaften mit sauber geschnittenen fachl...
114
click to vote
GI
2007
Springer
15 years 10 months ago
2007
Springer
: Wir beschreiben ein Verfahren, das die authentische Online-Übertragung von Transaktionen ermöglicht, ohne dass ein vertrauenswürdiger Zustand des Endgeräts (PC) vorausgesetzt...
126
click to vote
SCHULE
2007
Springer
15 years 10 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...