Temat: reactive system - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "reactive system" wg kryterium: Temat

Wyświetlanie 1-10 z 134

Zaznacz

Skocz do pozycji: 1.

Tytuł:: A P Systems Flat Form Preserving Step-by-step Behaviour
Autorzy:: Barbuti, R.
Maggiolo-Schettini, A.
Milazzo, P.
Tini, S.
Data publikacji:: 2008
Słowa kluczowe:: membrane computing
P systems
normal forms
reactive system
behavioral equivalence; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Modeling and Verification of Reactive Systems using Rebeca
Autorzy:: Sirjani, M.
Movaghar, A.
Shali, A.
de Boer, F. S.
Data publikacji:: 2004
Słowa kluczowe:: actor model
reactive system
model checking
compositional verification
property preserving abstraction; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Modeling real-time systems with UML language
Autorzy:: Dąbrowski, W.
Stasiak, A.
Pieciukiewicz, T.
Data publikacji:: 2004
Słowa kluczowe:: UML
systemy czasu rzeczywistego
systemy reaktywne
real-time embedded system
reactive system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Requirements specification with decision tables and rough sets
Autorzy:: Płonka, L.
Mrózek, A.
Data publikacji:: 1998
Słowa kluczowe:: decision table
requirements specification
reactive system
rough set theory
state machine; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Concurrent realizations of reactive systems
Autorzy:: Bednarczyk, M.
Borzyszkowski, A.
Data publikacji:: 1999
Słowa kluczowe:: Petri nets
transition systems
asynchronous systems
reactive system
concurrent realization
case graphs
mixed products; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: An algebra of data flows
Autorzy:: Winkowski, J.
Data publikacji:: 1999
Słowa kluczowe:: applying a substitution
approximation order
fixed-point
flow of data
prefix order
reactive system
restricting communication; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: An algebra of data flows
Autorzy:: Winkowski, J.
Data publikacji:: 2000
Słowa kluczowe:: reactive system
process
history
prefix order
flow of data
approximation order
sum
composition
prefixing
restricting communication
applying a substitution
fixed point
equivalence; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Warunki pracy wyłączników średniego napięcia w układach kompensacji mocy biernej
Autorzy:: Kulas, S.
Data publikacji:: 2009
Słowa kluczowe:: ograniczenia przetężeń prądowych
przetężenia prądowe
układ kompensacji mocy biernej
limitations of overcurrent
overcurrent
reactive power compensation system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Effects of nitrosative stress and reactive oxygen-scavenging systems in esophageal physiopathy under streptozotocin-induced experimental hyperglycemia
Autorzy:: Zayachkivska O.
Gzregotsky M.
Ferentc M.
Yaschenko A.
Urbanovych A.
Tematy:: histochemistry
reactive oxygen-scavenging system
lectin
nitrosative stress
streptozotocin-induced hyperglycemia
L-arginine
hyperglycemia
oesophageal mucosa; Pokaż więcej
Dostawca treści:: AGRO

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Warunki pracy wyłączników średniego napięcia w układach kompensacji mocy biernej
Operating conditions of medium voltage switches used in reactive power compensation systems
Autorzy:: Kulas, S.
Data publikacji:: 2009
Wydawca:: Sieć Badawcza Łukasiewicz - Instytut Technik Innowacyjnych EMAG
Tematy:: ograniczenia przetężeń prądowych
przetężenia prądowe
układ kompensacji mocy biernej
limitations of overcurrent
overcurrent
reactive power compensation system; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 134

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies