184 search results - page 2 / 37 » A Notation and Logic for Mobile Computing |
ECOOPW
1997
Springer
13 years 10 months ago
1997
Springer
An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots. Dia...
UML
2001
Springer
13 years 10 months ago
2001
Springer
Modern distributed software applications generally operate in complex and heterogeneous computing environments (like the World Wide Web). Different paradigms (client-server, mobili...
ACRI
2008
Springer
14 years 4 days ago
2008
Springer
Abstract. Rule 54, in Wolfram’s notation, is one of elementary yet complexly behaving one-dimensional cellular automata. The automaton supports gliders, glider guns and other non...
ICDCSW
2002
IEEE
13 years 10 months ago
2002
IEEE
LFCS
2009
Springer
14 years 9 days ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...