1336 search results - page 26 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
171
click to vote
SIGMETRICS
1992
ACM
15 years 7 months ago
1992
ACM
The CLOCK algorithm is a popular buffer replacement algorithm becauseof its simplicity and its ability to approximate the performance of the Least Recently Used (LRU) replacement ...
129
click to vote
IEAAIE
1995
Springer
15 years 6 months ago
1995
Springer
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...
124
click to vote
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
152
click to vote
ROOM
2000
15 years 4 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
119
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— A common approach to designing feedback controllers for nonlinear partial differential equations (PDEs) is to linearize the system about an equilibrium and use the line...