Sciweavers

1052 search results - page 133 / 211
» Distributed Logic Programming using Mobile Agents
Sort
View
ARTS
1997
Springer
15 years 5 months ago
PLC-Automata: A New Class of Implementable Real-Time Automata
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
Henning Dierks
76
Voted
CD
2004
Springer
15 years 6 months ago
On the Performance of SOAP in a Non-trivial Peer-to-Peer Experiment
Abstract. This paper reports on the experiences we gained while trying to build an interpreter for a new programming language aimed at developing strong mobile software. The interp...
Tom Van Cutsem, Stijn Mostinckx, Wolfgang De Meute...
109
Voted
CADE
2007
Springer
16 years 1 months ago
A History-based Verification of Distributed Applications
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
Bruno Langenstein, Andreas Nonnengart, Georg Rock,...
97
Voted
ESAW
2000
Springer
15 years 4 months ago
Models of Coordination
While software is becoming decomposed in more and more finegrained entities, the interactions amongst those become of major importance. While methodologies for building such compon...
Robert Tolksdorf
SIGCSE
2012
ACM
284views Education» more  SIGCSE 2012»
13 years 8 months ago
Teaching operating systems using android
The computing landscape is shifting towards mobile devices. To learn about operating systems, it is increasingly important for students to gain hands-on kernel programming experie...
Jeremy Andrus, Jason Nieh