Practical Aspects of Declarative Languages: 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings von Jayaraman, Bharat

Volltext

IEEE Access Special Section Editorial: Key Technologies for Smart Factory of Industry 4.0 von Wan, Jiafu, Xia, Min, Hong, Jun, Pang, Zhibo, Jayaraman, Bharat, Shen, Fangyang

Volltext

A declarative approach to detecting design patterns from Java execution traces and source code von Mohan, Aswathy, Jayaraman, Swaminathan, Jayaraman, Bharat

Volltext

Temporal constrained objects for modelling neuronal dynamics von Nair, Manjusha, Manchan Kannimoola, Jinesh, Jayaraman, Bharat, Nair, Bipin, Diwakar, Shyam

Volltext

Runtime verification on abstract finite state models von Jevitha, K.P., Jayaraman, Bharat, Sethumadhavan, M.

Volltext

Finite‐state model extraction and visualization from Java program execution von K. P., Jevitha, Jayaraman, Swaminathan, Jayaraman, Bharat, M, Sethumadhavan

Volltext

Semantics of temporal constrained objects von Kannimoola, Jinesh M., Jayaraman, Bharat, Achuthan, Krishnashree

Volltext

Special Issue on Security and Performance of Networks and Clouds: Guest Editor's Introduction von Jayaraman, B.

Volltext

Modeling mobile stateful channels in πZ von Poroor, Jayaraj, Jayaraman, Bharat

Volltext

The Three Rs of Cyberphysical Spaces von Menon, Vivek, Jayaraman, Bharat, Govindaraju, Venu

Volltext

Enhancing biometric recognition with spatio-temporal reasoning in smart environments von Menon, Vivek, Jayaraman, Bharat, Govindaraju, Venu

Volltext

Temporal constrained objects: Application and implementation von Kannimoola, Jinesh M., Jayaraman, Bharat, Tambay, Pallavi, Achuthan, Krishnashree

Volltext

Plagiarism Detection for Java Programs without Source Codes von Anjali, V., Swapna, T.R., Jayaraman, Bharat

Volltext

Multimodal identification and tracking in smart environments von Menon, Vivek, Jayaraman, Bharat, Govindaraju, Venu

Volltext

An Implementation of Session Types von Neubauer, Matthias, Thiemann, Peter

Volltext

Verifying security properties of internet protocol stacks: The split verification approach von Poroor, Jayaraj, Jayaraman, Bharat

Volltext

JI.FI: Visual test and debug queries for hard real-time von Blanton, Ethan, Lessa, Demian, Arora, Puneet, Ziarek, Lukasz, Jayaraman, Bharat

Volltext

Practical aspects of declarative languages: 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 : proceedings von Jayaraman, Bharat

Volltext

C2L:A Formal Policy Language for Secure Cloud Configurations von Poroor, Jayaraj, Jayaraman, Bharat

Volltext

DoS Attacks on Peat-Time Media through Indirect Contention-in-Hosts : Unwanted traffic von POROOR, Jayraj, JAYARAMAN, Bharat

Volltext