Sciweavers

17298 search results - page 121 / 3460
» Abstract computing machines
Sort
View
78
Voted
CG
2002
Springer
15 years 2 months ago
Using Abstraction for Planning in Sokoban
Adi Botea, Martin Müller 0003, Jonathan Schae...
TCS
1998
15 years 2 months ago
The Quotient of an Abstract Interpretation
Agostino Cortesi, Gilberto Filé, William H....
111
Voted
SOCA
2010
IEEE
15 years 1 months ago
MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations
Lianne Bodenstaff, Andreas Wombacher, Manfred Reic...
CSUR
2011
14 years 9 months ago
The failure detector abstraction
Felix C. Freiling, Rachid Guerraoui, Petr Kuznetso...