A formal analysis of bluetooth device discovery

Author： Duflot Marie   Kwiatkowska Marta   Norman Gethin   Parker David  

Publisher： Springer Publishing Company

ISSN： 1433-2779

Source： International Journal on Software Tools for Technology Transfer, Vol.8, Iss.6, 2006-11, pp. : 621-632

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

DOCUMENT RETRIEVAL FOR E-MAIL SEARCH AND DISCOVERY USING FORMAL CONCEPT ANALYSIS

By COLE RICHARD  

Applied Artificial Intelligence, Vol. 17, Iss. 3, 2003-03 ,pp. : 257-280

Taylor & Francis Ltd

Access to resources Recommend Favorite

Wireless Device Discovery

By Potter B.  

Network Security, Vol. 2003, Iss. 8, 2003-08 ,pp. : 4-5

Elsevier

Access to resources Recommend Favorite

An Efficient Simulation Environment and Simulation Techniques for Bluetooth Device Design

By Ahn Yongjin   Kim Deahong   Lee Sunghyun   Park Sanggyu   Yoo Sungjoo   Choi Kiyoung   Chae Soo-Ik  

Design Automation for Embedded Systems, Vol. 8, Iss. 2-3, 2003-06 ,pp. : 119-138

Springer Publishing Company

Access to resources Recommend Favorite

Semantic-enhanced Bluetooth discovery protocol for m-commerce applications

By Ruta Michele   Noia Tommaso Di   Sciascio Eugenio Di   Donini Francesco Maria  

International Journal of Web and Grid Services, Vol. 2, Iss. 4, 2006-12 ,pp. : 424-452

Inderscience Publishers

Access to resources Recommend Favorite

Formal logics of discovery and hypothesis formation by machine

By Hajek P.   Holena M.  

Theoretical Computer Science, Vol. 292, Iss. 2, 2003-01 ,pp. : 345-357

Elsevier

Access to resources Recommend Favorite