33 citations
- Blekinge Institute of TechnologySE9 papers
- Technical University of MunichDE9 papers
- Siemens (Germany)DE3 papers
- Aarhus UniversityDK1 paper
- Engineering (Italy)IT1 paper
- Fondazione Bruno KesslerIT1 paper
- Iscte – Instituto Universitário de LisboaPT1 paper
- Laboratoire d’Informatique et SystèmesFR1 paper
- LMU KlinikumDE1 paper
- Ludwig-Maximilians-Universität MünchenDE1 paper
- Lyon 1 UniversitéFR1 paper
- Microsoft Research (United Kingdom)GB1 paper
Showing 2013Show all
2 papers · 1 filter
cs.CC2013
La machine α: modèle générique pour les algorithmes naturels
Marc Bui, Michel Lamure, Ivan Lavallee
So far, following the works of A.M. Turing, the algorithms were considered as the mathematical abstraction from which we could write programs for computers whose principle was base…
cs.SE2013★ 9 cited
Towards a Framework for Behavioral Specifications of OSGi Components
Jan Olaf Blech
We present work on behavioral specifications of OSGi components. Our behavioral specifications are based on finite automata like formalisms. Behavioral specifications can be used t…