2135 search results - page 172 / 427 » Dependability Analysis of CAN Networks: An Emulation-Based A... |
155
click to vote
DATE
1998
IEEE
15 years 10 months ago
1998
IEEE
Petri nets are a graph-based formalism appropriate to model concurrentsystems such as asynchronouscircuits or network protocols. Symbolic techniques based on Binary Decision Diagr...
189
click to vote
WOA
2003
15 years 7 months ago
2003
— Mobile Agents model is widely accepted as a good solution to simplify the coordination in a complex and distributed environment. Pervasive computing, presents many issues regar...
144
click to vote
4OR
2005
15 years 5 months ago
2005
Many real problems can be modelled as robust shortest path problems on digraphs with interval costs, where intervals represent uncertainty about real costs and a robust path is not...
169
click to vote
COMPSAC
2008
IEEE
16 years 8 days ago
2008
IEEE
Given the increasing dependence of our societies on information systems, the overall security of these systems should be measured and improved. Existing work generally focuses on ...
142
click to vote
IFIP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract Flow Accounting is a passive monitoring mechanism implemented in routers that gives insight into tra c behavior and network characteristics. However, processing of Flow Ac...