4987 search results - page 511 / 998 » Fuzzifying P Systems |
203
click to vote
CCS
2005
ACM
16 years 14 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
189
click to vote
ICLP
2005
Springer
16 years 13 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
214
click to vote
SIGMETRICS
2003
ACM
16 years 5 days ago
2003
ACM
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
153
click to vote
MSS
2000
IEEE
15 years 11 months ago
2000
IEEE
In computer systems today, speed and responsiveness is often determined by network and storage subsystem performance. Faster, more scalable networking interfaces like Fibre Channe...
205
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
: Hardware-software co-synthesis is the process of partitioning an embedded system specification into hardware and software modules to meet performance, power and cost goals. In t...