Publisher Elsevier
From CERES
A list of all pages that have property "Publisher" with value "Elsevier"
Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
- Publications:A Congruence Rule Format with Universal Quantification +
- Publications:A processor array module for distributed, massively parallel, embedded computing +
- Publications:A syntactic commutativity format for SOS +
- Publications:Comparative Simulation Study of Fast Heuristics for Power Control in Copper Broadband Networks +
- Publications:Concurrent multipath transmission combining forward error correction and path interleaving for video streaming +
- Publications:Energy-saving by Low-Power Modes in ADSL2 +
- Publications:Evolution in architectures and programming methodologies of coarse-grained reconfigurable computing +
- Publications:Exploring geographic context awareness for data dissemination on mobile ad hoc networks +
- Publications:Formal modeling of evolving self-adaptive systems +
- Publications:Lifting non-finite axiomatizability results to extensions of process algebras +
- Publications:Low-Complexity OptimalDiscrete-Rate Spectrum Balancing in Digital Subscriber Lines +
- Publications:MetaML and multi-stage programming with explicit annotations +
- Publications:Nominal SOS +
- Publications:Notions of bisimulation and congruence formats for SOS with data +
- Publications:On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference +
- Publications:PobSAM : policy-based managing of actors in self-adaptive systems +
- Publications:Preface +
- Publications:Prototyping SOS meta-theory in Maude +
- Publications:Pseudo-elastic wire application in robotized cutting systems +
- Publications:Rule Formats for Determinism and Idempotence +
