Sciweavers

3825 search results - page 348 / 765
» The Language of Time: A Reader
Sort
View
ECAL
2007
Springer
16 years 27 days ago
Turing Complete Catalytic Particle Computers
The Bare Bones language is a programming language with a minimal set of operations that exhibits universal computation. We present a conceptual framework, Chemical Bare Bones, to c...
Anthony M. L. Liekens, Chrisantha Thomas Fernando
ECOOP
2007
Springer
16 years 27 days ago
Metamodel Adaptation and Model Co-adaptation
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...
Guido Wachsmuth
ESOP
2007
Springer
16 years 27 days ago
Interprocedurally Analysing Linear Inequality Relations
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
Helmut Seidl, Andrea Flexeder, Michael Petter
AICCSA
2006
IEEE
106views Hardware» more  AICCSA 2006»
16 years 24 days ago
Stable Analysis Patterns
Software analysis patterns are believed to play a major role in reducing the cost and condensing the time of software product lifecycles. However, analysis patterns have not reali...
Haitham S. Hamza, Mohamed E. Fayad
ISCAS
2006
IEEE
114views Hardware» more  ISCAS 2006»
16 years 23 days ago
System for deposition and characterization of polypyrrole/gold bilayer hinges
— We report on a custom designed system for the deposition and characterization of polypyrrole bilayer actuators. Unlike conventional commercial electrochemical cells and potenti...
Edward Choi, Yingkai Liu, Elisabeth Smela, Andreas...