xmmsctrl ay isang maliit na utility upang makontrol xmms mula sa linya ng command. layunin xmmsctrl ay upang magamit kaisa sa sh upang masubukan xmms estado at makaganap ng isang naaangkop na pagkilos, gaya ng kung naglalaro pagkatapos i-pause pa ang...
UPPAAL TIGA ay isang extension ng UPPAAL [BDL04] at ito ay nagpapatupad sa unang mahusay na on-the-fly algorithm para sa paglutas ng mga laro na batay sa time automata game na may paggalang sa reachability at kaligtasan properties.Kahit nag-time laro para...
UPPAAL ay isang nakapaloob na kapaligiran na kasangkapan para sa modeling, pagpapatunay at pagpapatunay ng mga real-time na mga sistema ng modelo ng mga network ng mga nag-time automata, pinalawig na may mga uri ng data (bounded integers, arrays,...