Klimek, Radosław.
Radosław Klimek
VIAF ID: 166196427 (Personal)
Permalink: http://viaf.org/viaf/166196427
Preferred Forms
- 100 1 _ ‡a Klimek, Radosław
-
-
- 100 0 _ ‡a Radosław Klimek
4xx's: Alternate Name Forms (6)
Works
Title | Sources |
---|---|
8th Conference on Real-Time Systems, Krynica (Poland), 24-27 September 2001 | |
Analiza możliwości formalnej weryfikacji problemów planowania w kontekście procesów biznesowych | |
Behavior recognition and analysis in smart environments for context-aware applications | |
A Deduction-based system for formal verification of agent-ready web services | |
Exploration of human activities using message streaming brokers and automated logical reasoning for ambient-assisted services | |
From extraction of logical specifications to deduction-based formal verification of requirements models | |
Mapping population and mobile pervasive datasets into individual behaviours for urban ecosystems | |
Modeling context-aware and agent-ready systems for the outdoor smart lighting | |
Proposal of a context-aware smart home ecosystem | |
Proposal of a multiagent-based smart environment for the IoT | |
Proposal to improve the requirements process through formal verification using deductive approach | |
State-space reduction through preference modeling | |
Systemy Czasu Rzeczywistego '01 | |
Temporal preference models and their deduction-based analysis for pervasive applications | |
Towards a better understanding and behavior recognition of inhabitants in smart cities : a public transport case | |
Towards deductive-based support for software development processes | |
Towards formal and deduction-based analysis of business models for SOA processes | |
Towards similarities of interpretations of temporal logic formulae | |
Verification of ArchiMate process specifications based on deductive temporal reasoning | |
Verifying data integration agents with deduction-based models | |
Wprowadzenie do logiki temporalnej | |
Zastosowanie weryfikacji dedukcyjnej w projektowaniu oprogramowania korporacyjnego budowanego w oparciu o paradygmat SOA |