Distributed Behavior Protocol Checker, [http://dsrg.mff.cuni.cz/~poch/dchecker/]...

JC - Počítačový hardware a software

Rok uplatnění
• 2006
•

A - Audiovizuální tvorba
• A

Bounding behavior via protocols.

JC - Počítačový hardware a software

Rok uplatnění
• 1999
•

D - Stať ve sborníku
• D

representation of statespaces suitable for implementing operations upon behavior protocols behavior protocol. By trading space for time, it allows handling behavior protocols of .practical size.....

JD - Využití počítačů, robotika a její aplikace

Rok uplatnění
• 2004
•

D - Stať ve sborníku
• D

while being easy-to-read. The description of behavior is expressed by behavior protocols using a notation similar to regular expressions. The key achievements of this paper include the definition of the protocol c...

JC - Počítačový hardware a software

Rok uplatnění
• 1999
•

D - Stať ve sborníku
• D

We discuss the problem of defining a composition operator in behavior protocols in a way which would reflect false communication of the software components being composed....

JC - Počítačový hardware a software

Rok uplatnění
• 2003
•

D - Stať ve sborníku
• D

The paper describes the behavior protocols, a formal notation for describing behavior of software components, and its application for component-based software architectures....

JC - Počítačový hardware a software

Rok uplatnění
• 2000
•

V_x - Nezařazeno - Výzkumná zpráva obsahující utajované informace (takový výsledek lze do RIV vložit pouze v případě, že zpráva obsahuje utajované informace a pole R12 = U), nebo souhrnná výzkumná zpráva
• V_x