862 search results - page 157 / 173 » Fuzzy modelling using fuzzy mathematical programming |
106
click to vote
CCS
2005
ACM
15 years 3 months 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...
CACM
2010
14 years 9 months ago
2010
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
CALCO
2005
Springer
15 years 3 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
ICAPR
2005
Springer
15 years 3 months ago
2005
Springer
The Logarithmic Image Processing model (LIP) is a robust mathematical framework for the processing of transmitted and reflected images. It follows many visual, physical and psycho...
ECRTS
2000
IEEE
15 years 2 months ago
2000
IEEE
Real-time Systems, in particular regulation systems, are often specified using the notion of running modes. On the other hand, the family of synchronous languages [1] has been ve...