Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Leticia Lavado"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 234, Iss Proc. WLP 2015/'16/WFLP'16, Pp 120-134 (2017)
The Timed Concurrent Constraint Language tccp is a declarative synchronous concurrent language, particularly suitable for modelling reactive systems. In tccp, agents communicate and synchronise through a global constraint store. It supports a notion
Externí odkaz:
https://doaj.org/article/2a6fbc21dca843ef96c4543d80503388
Publikováno v:
Journal of Reliable Intelligent Environments. 3:189-207
Software-defined networking (SDN) is a new paradigm to introduce intelligence in communication networks through centralised programming. SDN separates data and control plane with two main components, the programmable switches (data plane) and the cen
Publikováno v:
Journal of Reliable Intelligent Environments. 3:55-79
Intelligent environments can be described as hybrid systems, which combine continuous dynamics, modelling the behaviour of physical components, and discrete dynamics, modelling the software components that control the evolution of the physical variab
Publikováno v:
ISSRE Workshops
Test Automation Platform©1 (TAP) is a software system that developers can use to test their own hardware or software (or combinations of both). Developers create TAP test plans by combining and configuring individual test steps in a GUI. Developers