106 search results - page 17 / 22 » Romeo: A Tool for Analyzing Time Petri Nets |
DSD
2006
IEEE
13 years 11 months ago
2006
IEEE
We present a flexible method for bus and network on chip performance analysis, which is based on the adaptation of workload models to resemble various applications. Our analysis m...
ACSAC
2003
IEEE
13 years 11 months ago
2003
IEEE
When a receiver of a ciphertext message can not decrypt the message due to the fact that he has lost his private-key, the private-key of the receiver and session-key of the messag...
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...
TCSB
2010
13 years 6 months ago
2010
Biomodel engineering is the science of designing, constructing and analyzing computational models of biological systems. It forms a systematic and powerful extension of earlier mat...
ACSD
2005
IEEE
14 years 1 months ago
2005
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...