25218 search results - page 5043 / 5044 » A Logic-Based Information System |
EUROSYS
2008
ACM
14 years 2 months ago
2008
ACM
Despite the many solutions proposed by industry and the research community to address phishing attacks, this problem continues to cause enormous damage. Because of our inability t...
SCHULE
2009
Springer
13 years 11 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...
SCHULE
2007
Springer
13 years 11 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...
GI
2003
Springer
13 years 10 months ago
2003
Springer
: Als Einführung in den Workshop reflektiert der Beitrag die bisherigen Geschichtsberachtungen von Pionieren und Historikern des Internet. Er möchte zeigen, dass die bislang domi...
ECOOP
2010
Springer
13 years 9 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...