13917 search results - page 59 / 2784 » Abstraction of Probabilistic Systems |
HYBRID
2009
Springer
15 years 4 months ago
2009
Springer
ion of discrete abstractions of arbitrary memory span for nonlinear sampled systems Gunther Reißig⋆ Technische Universit¨at Berlin, Fakult¨at Elektrotechnik und Informatik, He...
EWSN
2008
Springer
15 years 9 months ago
2008
Springer
EUROPAR
2008
Springer
14 years 11 months ago
2008
Springer
nomic Management Abstractions M. Aldinucci1 , M. Danelutto1 , and P. Kilpatrick2 1 Dept. Computer Science, Univ. of Pisa, Italy 2 Dept. Computer Science, Queen's Univ. of Belf...
SIGOPSE
1998
ACM
15 years 2 months ago
1998
ACM
Abstract for EW’98 Paul J.M. Havinga, Arne Helme, Sape J. Mullender1 , Gerard J.M. Smit, Jaap Smit University of Twente, Enschede, Netherlands
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Processes of Place/Transition Systems6 Rob van Glabbeeka,b , Ursula Goltzc , Jens-Wolfhard Schickec aNICTA, Sydney, Australia bSchool of Computer Science and Engineering, Universit...