Sciweavers

17129 search results - page 9 / 3426

» Applied Computing

20

BIRTHDAY
2004
Springer

81views Applied Computing» more BIRTHDAY 2004»

Applied Formal Methods - From CSP to Executable Hybrid Specifications

14 years 4 months ago

Applied Formal Methods - From CSP to Executable Hybrid Specifications

Download www.informatik.uni-bremen.de

Jan Peleska

claim paper

Read More »

30

ICSOC
2010
Springer

256views Applied Computing» more ICSOC 2010»

Abstracting and Applying Business Modeling Patterns from RosettaNet

13 years 9 months ago

Abstracting and Applying Business Modeling Patterns from RosettaNet

Download www.csc.ncsu.edu

Pankaj R. Telang, Munindar P. Singh

claim paper

Read More »

37

MEMBRANE
2009
Springer

258views Applied Computing» more MEMBRANE 2009»

A Computational Complexity Theory in Membrane Computing

14 years 5 months ago

A Computational Complexity Theory in Membrane Computing

Download www.gcn.us.es

Mario J. Pérez-Jiménez

claim paper

Read More »

33

UC
2009
Springer

92views Applied Computing» more UC 2009»

A Tutorial on Analog Computation: Computing Functions over the Reals

14 years 5 months ago

A Tutorial on Analog Computation: Computing Functions over the Reals

Download www.uc09.uac.pt

Manuel Lameiras Campagnolo

claim paper

Read More »

31

PERVASIVE
2007
Springer

70views Applied Computing» more PERVASIVE 2007»

Pervasive Computing Support for Hospitals: An overview of the Activity-Based Computing Project

13 years 10 months ago

Pervasive Computing Support for Hospitals: An overview of the Activity-Based Computing Project

Download www.itu.dk

Jakob E. Bardram, Henrik Bærbak Christensen

claim paper

Read More »

« Prev « First page 9 / 3426 Last » Next »