Filtry
Operational Semantic of an AgentSpeak(L) Interpreter using Late Bindings
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Software support for course in Semantics of programming languages
Education, general; including training, pedagogy, didactics [and education systems]
- 2017 •
- D
Rok uplatnění
D - Stať ve sborníku
Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design
Computer hardware and architecture
- 2013 •
- Jost •
- Odkaz
Rok uplatnění
Jost - Ostatní články v recenzovaných periodicích
Výsledek na webu
Time in Cyber-Physical Systems: Specifications, Modeling and Measurements
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2013 •
- D
Rok uplatnění
D - Stať ve sborníku
Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming
We propose a new semantics for Scc - to that end, an operational semantics reporting the steps of computation is introduced. A denotational semantics is then proposed and it is proved to be correct with respect to ...
JC - Počítačový hardware a software
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
Toward an Algebraic Structure over Capabilities of a System
IN - Informatika
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Modeling of Capabilities of a System in Algebraic Manner
IN - Informatika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
The Composite Algebraic Structure over Capabilities and Actions of a System
IN - Informatika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Podoby sémantiky
příspěvek na 35. studentském workshopu Žďárek, 17.-19. 4. 2015, Poděbrady...
AI - Jazykověda
- 2015 •
- O
Rok uplatnění
O - Ostatní výsledky
Czech high degree constructions: experimental data from Czech *swarms*
Linguistics
- 2019 •
- O
Rok uplatnění
O - Ostatní výsledky
- 1 - 10 z 2 806