Logic Programming for Software Engineering: A Second Chance
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Can GRID services provide answers to the challenges of national health information sharing?
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
Modeling and verification of cryptographic protocols using coloured petri nets and design/CPN
Nordic Journal of Computing
Proceedings of the 21st annual symposium on Integrated circuits and system design
A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
Performance Analysis of the ARIA Adaptive Media Processing Workflows using Colored Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Coloured Petri nets: status and outlook
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Web-services-based resource discovery model and service deployment on healthgrids
IEEE Transactions on Information Technology in Biomedicine - Special section on new and emerging technologies in bioinformatics and bioengineering
Energy consumption and execution time estimation of embedded system applications
Microprocessors & Microsystems
Automatic RTL Test Generation from SystemC TLM Specifications
ACM Transactions on Embedded Computing Systems (TECS)
Property networks allowing oracle-based mode-change propagation in hierarchical components
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
An Exposition of Performance-Security Trade-offs in RANETs Based on Quantitative Network Models
Wireless Personal Communications: An International Journal
Analysis of object-specific authorization protocol (OSAP) using coloured petri nets
AISC '12 Proceedings of the Tenth Australasian Information Security Conference - Volume 125
Hi-index | 0.00 |