2615 search results - page 316 / 523 » Analysis of Real Time Operating System Based Applications |
162
Voted
IPTPS
2005
Springer
15 years 9 months ago
2005
Springer
Maze1 is a P2P file-sharing system with an active and large user base. It is developed, deployed and operated by an academic research team. As such, it offers ample opportunities ...
131
Voted
IEEEARES
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a new approach to integrated security and dependability evaluation, which is based on stochastic modelling techniques. Our proposal aims to provide operational measures...
117
Voted
JNW
2006
15 years 3 months ago
2006
This paper presents a new approach to integrated security and dependability evaluation, which is based on stochastic modeling techniques. Our proposal aims to provide operational m...
126
Voted
IPPS
2008
IEEE
15 years 9 months ago
2008
IEEE
As an essential part of in vitro analysis, biological database query has become more and more important in the research process. A few challenges that are specific to bioinformat...
158
Voted
TACS
1994
Springer
15 years 7 months ago
1994
Springer
Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods ...