Zobrazeno 1 - 10
of 30
pro vyhledávání: '"Klimek, Radoslaw"'
Autor:
Klimek, Radoslaw, Kotulski, Leszek
The idea of modern urban systems and smart cities requires monitoring and careful analysis of different signals. Such signals can originate from different sources and one of the most promising is the BTS, i.e. base transceiver station, an element of
Externí odkaz:
http://arxiv.org/abs/1504.06044
Autor:
Klimek, Radoslaw, Kotulski, Leszek
The context-awareness of things that belong to IoT networks have to be considered in a distributed computation paradigm. In the paper we suggest the use of graph transformations and temporal logic as a formal framework for a knowledge representation
Externí odkaz:
http://arxiv.org/abs/1408.1776
Autor:
Klimek, Radoslaw
The work relates to the automatic generation of logical specifications, considered as sets of temporal logic formulas, extracted directly from developed software models. The extraction process is based on the assumption that the whole developed model
Externí odkaz:
http://arxiv.org/abs/1406.7000
Autor:
Klimek, Radoslaw, Kotulski, Leszek
This work relates to context-awareness of things that belong to IoT networks. Preferences understood as a priority in selection are considered, and dynamic preference models for such systems are built. Preference models are based on formal logic, and
Externí odkaz:
http://arxiv.org/abs/1404.1621
Autor:
Klimek, Radoslaw
Providing accurate/suitable information on behaviors in sma\-rt environments is a challenging and crucial task in pervasive computing where context-awareness and pro-activity are of fundamental importance. Behavioral identifications enable to abstrac
Externí odkaz:
http://arxiv.org/abs/1403.0185
Autor:
Klimek, Radoslaw
The work concerns automatic generation of logical specifications from requirements models. Logical specifications obtained in such a way can be subjected to formal verification using deductive reasoning. Formal verification concerns correctness of a
Externí odkaz:
http://arxiv.org/abs/1402.1985
Autor:
Klimek, Radoslaw
Publikováno v:
2014, vol. 24, no. 4, pp. 941-956
The work concerns formal verification of workflow-oriented software models using deductive approach. The formal correctness of a model's behaviour is considered. Manually building logical specifications, which are considered as a set of temporal logi
Externí odkaz:
http://arxiv.org/abs/1402.1978
Autor:
Klimek, Radosław
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming April 2019 104:201-226
