3742 search results - page 104 / 749 » On the Use of Formal Techniques for Validation |
189
click to vote
APSEC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
132
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Formal Project management is vital to the effective application of organizational resources to competing demands within and across projects. The use of project management, however...
178
click to vote
FMAM
2010
15 years 4 months ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
169
click to vote
INFOCOM
2006
IEEE
16 years 10 days ago
2006
IEEE
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...
173
click to vote
ISOLA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...