389 search results - page 67 / 78 » An approach to quality engineering of TTCN-3 test specificat... |
APSEC
2003
IEEE
14 years 25 days ago
2003
IEEE
The interface definition of a component in a distributed system forms the contract between the component itself and its neighbouring components regarding the use of its services....
ICNP
1999
IEEE
13 years 12 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
COMPSAC
2002
IEEE
14 years 15 days ago
2002
IEEE
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
COMSWARE
2006
IEEE
14 years 1 months ago
2006
IEEE
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...