12981 search results - page 266 / 2597 » Model Checking (Abstract) |
117
Voted
CIE
2007
Springer
15 years 9 months 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...
120
Voted
JSA
2006
15 years 3 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,...
105
Voted
BPM
2009
Springer
15 years 6 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
122
Voted
NGC
2008
Springer
15 years 3 months ago
2008
Springer
ion-Carrying Code: a Model for Mobile Code Safety Elvira Albert Germ
122
Voted
WSC
2000
15 years 4 months ago
2000
STRACTION FOR DISCRETE EVENT SYSTEMS USING NEURAL NETWORKS AND SENSITIVITY INFORMATION Christos G. Panayiotou Christos G. Cassandras Department of Manufacturing Engineering Boston ...