Search Sciweavers | Sciweavers

2004 search results - page 2 / 401

» Interaction nets: programming language design and implementa...

click to vote

POPL
1990
ACM

88views Programming Languages» more POPL 1990»

Interaction Nets

13 years 9 months ago

Download www.dcs.gla.ac.uk

Yves Lafont

claim paper

Read More »

click to vote

SIGMOD
1996
ACM

99views Database» more SIGMOD 1996»

A Query Language for Multidimensional Arrays: Design, Implementation, and Optimization Techniques

13 years 9 months ago

Download homepages.inf.ed.ac.uk

While much recent research has focussed on extending databases beyond the traditional relational model, relatively little has been done to develop database tools for querying data...

Leonid Libkin, Rona Machlin, Limsoon Wong

claim paper

Read More »

click to vote

IROS
2009
IEEE

138views Robotics» more IROS 2009»

Using petri nets to specify and execute missions for autonomous underwater vehicles

14 years 7 days ago

Download dugi-doc.udg.edu

Abstract— This paper presents the design and implementation of a Mission Control System (MCS) for an Autonomous Underwater Vehicle (AUV) based on Petri nets. In the proposed appr...

Narcís Palomeras, Pere Ridao, Marc Carreras...

claim paper

Read More »

click to vote

IFIP
2000
Springer

122views Programming Languages» more IFIP 2000»

A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach

13 years 9 months ago

Download semag.dsi.uminho.pt

Ricardo Jorge Machado, João M. Fernandes, H...

claim paper

Read More »