Sciweavers

4241 search results - page 766 / 849
» A Knowledge-Based Software Information System
Sort
View
SCHULE
2007
Springer
14 years 4 months ago
Anwenden und Verstehen des Internets - eine Erprobung im Informatikunterricht
: In diesem Beitrag geht es um die Erprobung eines Unterrichtskonzepts zum Thema „Strukturen des Internets“, die Teil eines größeren Forschungsprojekts ist. Das Ziel ist die ...
S. Freischlad
PLDI
2005
ACM
14 years 3 months ago
TraceBack: first fault diagnosis by reconstruction of distributed control flow
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...
Andrew Ayers, Richard Schooler, Chris Metcalf, Ana...
FOSSACS
2005
Springer
14 years 3 months ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
PARA
2004
Springer
14 years 3 months ago
Supporting Location-Aware Distributed Applications on Mobile Devices
ct The Wireless World Research Forum (WWRF) has identified ambient-awareness and device diversity as two key properties of applications and services in future mobile systems [1]. ...
Cristiano di Flora, Massimo Ficco, Stefano Russo
CLOUD
2010
ACM
14 years 3 months ago
G-Store: a scalable data store for transactional multi key access in the cloud
Cloud computing has emerged as a preferred platform for deploying scalable web-applications. With the growing scale of these applications and the data associated with them, scalab...
Sudipto Das, Divyakant Agrawal, Amr El Abbadi