344 search results - page 9 / 69 » Optimization problems from feature testing of communication ... |
112
click to vote
ICCCN
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper analyzes both the strong points and weak points of OSPF routing protocol from security perspective. On its strong points, we abstract its features of information least ...
JPDC
2006
14 years 11 months ago
2006
The rapid growth of heterogeneous devices and diverse networks in our daily life, makes it is very difficult, if not impossible, to build a one-size-fits-all application or protoc...
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper presents language features for High Performance Fortran HPF to specify non-local access patterns of distributed arrays, called halos, and to control the communication as...
102
click to vote
IEEEARES
2008
IEEE
15 years 6 months ago
2008
IEEE
Existing undecidability proofs of checking secrecy of cryptographic protocols have the limitations of not considering protocols common in literature, which are in the form of comm...
SAFECOMP
2007
Springer
15 years 5 months ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...