Search Sciweavers | Sciweavers

31387 search results - page 10 / 6278

» Abstracting abstract machines

click to vote

ICFEM
2004
Springer

65views Software Engineering» more ICFEM 2004»

Implementing Dynamic Aggregations of Abstract Machines in the B Method

14 years 3 months ago

Download dc.exa.unrc.edu.ar

Nazareno Aguirre, Juan Bicarregui, Lucio Guzm&aacu...

claim paper

Read More »

click to vote

IEEEICCI
2003
IEEE

78views Artificial Intelligence» more IEEEICCI 2003»

Perceptual Learning and Abstraction in Machine Learning

14 years 3 months ago

Download hal.inria.fr

Nicolas Bredeche, Zhongzhi Shi, Jean-Daniel Zucker

claim paper

Read More »

click to vote

ASM
2003
ASM

104views Computational Biology» more ASM 2003»

A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines

14 years 3 months ago

Download www.informatik.uni-ulm.de

Wolf Zimmermann, Axel Dold

claim paper

Read More »

click to vote

MPC
2010
Springer

171views Mathematics» more MPC 2010»

An Abstract Machine for the Old Value Retrieval

14 years 2 months ago

Download mpc2010.fsg.ulaval.ca

Piotr Kosiuczenko

claim paper

Read More »

click to vote

COMPSAC
2009
IEEE

82views Software Engineering» more COMPSAC 2009»

Universal and Extensible Service-Oriented Platform Feasibility and Experience: The Service Abstract Machine

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers