Sciweavers

17082 search results - page 127 / 3417
» Abstractions for Mobile Computation
Sort
View
124
Voted
SOCA
2010
IEEE
15 years 2 months ago
MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations
Lianne Bodenstaff, Andreas Wombacher, Manfred Reic...
CMSB
2010
Springer
14 years 11 months ago
A generic abstract machine for stochastic process calculi
Loïc Paulevé, Simon Youssef, Matthew R...
CSUR
2011
14 years 11 months ago
The failure detector abstraction
Felix C. Freiling, Rachid Guerraoui, Petr Kuznetso...
CONCUR
2012
Springer
13 years 6 months ago
A Theory of History Dependent Abstractions for Learning Interface Automata
Fides Aarts, Faranak Heidarian, Frits W. Vaandrage...