1875 search results - page 218 / 375 » Automatic Network Protocol Analysis |
130
Voted
CHI
2005
ACM
16 years 4 months ago
2005
ACM
Visualization techniques have proven to be critical in helping crime analysis. By interviewing and observing Criminal Intelligence Officers (CIO) and civilian crime analysts at th...
136
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Most of the existing WLAN MAC protocols can only provide limited service differentiation. In this paper, we propose a novel token-based scheduling scheme for precise and quanti...
129
Voted
DATE
1998
IEEE
15 years 8 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...
128
Voted
FORTE
2008
15 years 5 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
163
Voted
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— Scalable and efficient routing is a main challenge in the deployment of large ad hoc wireless networks. An essential element of practical routing protocols is their accommodat...