Sciweavers

79 search results - page 5 / 16

» birthday 2005

15

BIRTHDAY
2005
Springer

87views Applied Computing» more BIRTHDAY 2005»

SAT-Based Cooperative Planning: A Proposal

14 years 3 months ago

SAT-Based Cooperative Planning: A Proposal

Download www.univ-orleans.fr

Marco Benedetti, Luigia Carlucci Aiello

claim paper

Read More »

12

BIRTHDAY
2005
Springer

83views Applied Computing» more BIRTHDAY 2005»

Specifying, Programming and Verifying with Equational Logic

14 years 3 months ago

Specifying, Programming and Verifying with Equational Logic

Download cseweb.ucsd.edu

Joseph A. Goguen, Kai Lin

claim paper

Read More »

26

BIRTHDAY
2005
Springer

97views Applied Computing» more BIRTHDAY 2005»

Separation - Past, Present, and Future

14 years 3 months ago

Separation - Past, Present, and Future

Download www.doc.ic.ac.uk

Ian M. Hodkinson, Mark Reynolds

claim paper

Read More »

26

BIRTHDAY
2005
Springer

101views Applied Computing» more BIRTHDAY 2005»

Modelling Evolvable Systems: A Temporal Logic View

13 years 11 months ago

Modelling Evolvable Systems: A Temporal Logic View

Download www.cs.man.ac.uk

Howard Barringer, David E. Rydeheard

claim paper

Read More »

18

BIRTHDAY
2005
Springer

89views Applied Computing» more BIRTHDAY 2005»

Formal Approaches to Teamwork

14 years 3 months ago

Formal Approaches to Teamwork

Download www.cs.umd.edu

John Grant, Sarit Kraus, Donald Perlis

claim paper

Read More »

« Prev « First page 5 / 16 Last » Next »