12981 search results - page 266 / 2597 » Model Checking and Abstraction |
181
click to vote
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
163
click to vote
CIE
2007
Springer
16 years 26 days ago
2007
Springer
Geometrical Computation and the Linear Blum, Shub and Smale Model Geometrical Computation and the Linear Blum, Shub and Smale Model J´erˆome Durand-Lose Laboratoire d’Informati...
165
click to vote
JSA
2006
15 years 6 months ago
2006
action Model for a Grid Execution Framework Kaizar Amin,c,a Gregor von Laszewski,,a,b Mihael Hategan,b,a Rashid Al-Ali,d Omer Rana,d and David Walkerc aArgonne National Laboratory,...
137
click to vote
BPM
2009
Springer
15 years 10 months ago
2009
Springer
ion of Process Models Artem Polyvyanyy, Sergy Smirnov, Mathias Weske Technischer Bericht Deckblatt Rückseite.indd 1 17.12.2008 13:26:50 Uhr
164
click to vote
NGC
2008
Springer
15 years 6 months ago
2008
Springer
ion-Carrying Code: a Model for Mobile Code Safety Elvira Albert Germ