6047 search results - page 1031 / 1210 » A Scenario Construction Process |
200
click to vote
ISCC
2003
IEEE
16 years 11 days ago
2003
IEEE
: In this paper, simulation-based performance evaluation of the Wireless Application Protocol (WAP) Transport Lay er Protocol, which may be suitable for Combat Net Radio (CNR), is ...
194
Voted
IWPC
2003
IEEE
16 years 11 days ago
2003
IEEE
Syntactic and semantic analysis are established topics in the area of compiler construction. Their application to the understanding and restructuring of large software systems rev...
204
click to vote
MEMOCODE
2003
IEEE
16 years 11 days ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
189
click to vote
NDSS
2003
IEEE
16 years 11 days ago
2003
IEEE
Everyday network interactions require users to give out their email address, yet no guarantees can be made about how this address will be used. Sometimes the address is given to a...
187
click to vote
TPHOL
2003
IEEE
16 years 10 days ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...