xmmsctrl هو أداة صغيرة لمراقبة كسممس من سطر الأوامر. الهدف xmmsctrl هو استخدامها إلى جانب SH لاختبار حالة XMMS وتنفيذ الإجراءات المناسبة، على سبيل المثال إذا لعب ثم توقف اللعب آخر.لمصلحة من ذلك هو ربط المفاتيح في مدير النافذة لديك السيطرة على كسممس مع المفاتيح التي لا تلعب / القادم / وقفة، السابق، التحكم في الصوت...
UPPAAL TIGA هو امتداد لUPPAAL [BDL04] وتنفذ أول خوارزمية فعالة على ذبابة لحل ألعاب تعتمد على توقيت المباراة الآلي وفيما يتعلق سائل الأتصال وسلامة الممتلكات.على الرغم من توقيت مباريات لفترة طويلة من المعروف أن decidable تمت حتى الآن كان هناك نقص في خوارزميات فعالة وحقيقية على ذبابة لتحليلها.يوفر UPPAAL TIGA واجهة...
UPPAAL هو بيئة متكاملة لأداة النمذجة، والمصادقة والتحقق من أنظمة الوقت الحقيقي على غرار كشبكات من لدن الموقوتة، وسعت مع أنواع البيانات (الأعداد الصحيحة المحصورة، المصفوفات، وما إلى ذلك).UPPAAL كورا هي فرع من UPPAAL عن التكلفة الأمثل وسائل الأتصال Anslysis التي وضعها فريق UPPAAL كجزء من مشاريع VHS وAMETIST. في حين...