Source: Debois, S, Hildebrandt, T T & Slaats, T 2018, ' Replication, refinement & reachability : complexity in dynamic condition-response graphs ', Acta

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games

Authors : Sven Schewe; Markus N. Rabe

Subjects: Mathematical optimization; Markov kernel; Markov chain

Source: Acta Informatica. 48:291-315

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Configurable verification of timed automata with discrete variables

Authors : István Majzik; Tamás Tóth

Subjects: 050101 languages & linguistics; Theoretical computer science; Computer Networks and Communications

Source: Acta Informatica. 59:1-35

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Compositional construction of most general controllers

Authors : Sascha Klüppelholz; Joachim Klein; Christel Baier

Subjects: Base (group theory); Mathematical optimization; Computer Networks and Communications

Source: Acta Informatica. 52:443-482

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Improved matrix pair undecidability results

Authors : Mika Hirvensalo; Vesa Halava

Subjects: Discrete mathematics; Computer Networks and Communications; Scalar (mathematics)

Source: Acta Informatica. 44:191-205

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Priority conflict-free Petri nets

Authors : Hsu-Chun Yen

Subjects: Discrete mathematics; Theoretical computer science; Computational complexity theory

Source: Acta Informatica. 35:673-688

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Recursive Petri nets

Authors : Serge Haddad; Denis Poitrenaud;

Subjects: Model checking; Bisimulation; Theoretical computer science

Source: Acta InformaticaActa Informatica, Springer Verlag, 2007, 44 (7-8), pp.463-508. ⟨10.1007/s00236-007-0055-y⟩

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

One-write algorithms for multivalued regular and atomic registers

Authors : Martha J. Kosa; Soma Chaudhuri; Jennifer L. Welch

Subjects: Discrete mathematics; Atomicity; Computer Networks and Communications

Source: Acta Informatica. 37:161-192

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Adding inclusion dependencies to an object-oriented data model with uniqueness constraints

Authors : Torsten Polle; Joachim Biskup

Subjects: Semantic query; Theoretical computer science; Computer Networks and Communications

Source: Acta Informatica. 39:391-449

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

On correct procedure parameter transmission in higher programming languages

Authors : Hans Langmaack

Subjects: ALGOL 60; Computer Networks and Communications; Computer science

Source: Acta Informatica. 2

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

نتائج البحث

فلترة النتائج

Replication, refinement & reachability: complexity in dynamic condition-response graphs

Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games

Configurable verification of timed automata with discrete variables

Compositional construction of most general controllers

Improved matrix pair undecidability results

Priority conflict-free Petri nets

Recursive Petri nets

One-write algorithms for multivalued regular and atomic registers

Adding inclusion dependencies to an object-oriented data model with uniqueness constraints

On correct procedure parameter transmission in higher programming languages

اتصل بنا

اتبع