Results 1 to 10 of about 192,076 (327)
Power management and performance optimization of underwater wireless sensor networks based on MARL. [PDF]
Guan J.
europepmc +1 more source
Thermal Field Reconstruction on Microcontrollers: A Physics-Informed Digital Twin Using Laplace Equation and Real-Time Sensor Data. [PDF]
Benitez VH, Pacheco J, Brau A.
europepmc +1 more source
Recent Incarceration and HIV Risk Among Women Who Use Heroin.
Atkins K +8 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Discrete Event Dynamic Systems, 2006
Given a finite state system with partial observers and for each observer, a regular set of trajectories which we call a secret, we consider the question whether the observers can ever find out that a trajectory of the system belongs to some secret. We search for a regular control on the system, enforcing the specified secrets on the observers, even ...
E. Badouel +4 more
openaire +1 more source
Given a finite state system with partial observers and for each observer, a regular set of trajectories which we call a secret, we consider the question whether the observers can ever find out that a trajectory of the system belongs to some secret. We search for a regular control on the system, enforcing the specified secrets on the observers, even ...
E. Badouel +4 more
openaire +1 more source
ACM Computing Surveys, 1996
Concurrency theory is concerned with the modeling and verification of concurrent systems, while concurrency practice promulgates the application of concurrency theory to concurrent systems of practical interest. We assert that a strong interplay between concurrency theory and practice is essential for the continued development of both fields.
De Nicola, Rocco, Smolka, Scott A.
openaire +3 more sources
Concurrency theory is concerned with the modeling and verification of concurrent systems, while concurrency practice promulgates the application of concurrency theory to concurrent systems of practical interest. We assert that a strong interplay between concurrency theory and practice is essential for the continued development of both fields.
De Nicola, Rocco, Smolka, Scott A.
openaire +3 more sources

