6978 search results - page 290 / 1396 » Reframing Requirements Analysis |
166
click to vote
DATE
1998
IEEE
15 years 11 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...
187
click to vote
ACCV
1998
Springer
15 years 11 months ago
1998
Springer
The project we are working on is to help develop and test a low cost, large area, high resolution X-ray detection system with a high dynamic range. The large area is achieved by b...
185
click to vote
ER
1998
Springer
15 years 11 months ago
1998
Springer
The practical implementation and use of a mediator for fixed income securities analysis demonstrated the potential for extending the application of conceptual modeling from the sys...
179
Voted
INFOCOM
1997
IEEE
15 years 11 months ago
1997
IEEE
In ihis paper, we design and analyze a growable multicast ATM switch. It can grow to a large size since both cell routing and contention resolution are designed to distribute over...
180
click to vote
SP
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper analyzes a network-baseddenial of service attack for IP (Internet Protocol) based networks. It is popularly called SYN flooding. It works by an attacker sending many T...