Sciweavers

9821 search results - page 107 / 1965
» A Framework for the Development of Protocols
Sort
View
GCC
2003
Springer
15 years 9 months ago
A Research on the Framework of Grid Manufacturing
This paper presents firstly in the world the framework of Grid manufacturing, which neatly combines Grid technology with the infrastructure of advanced manufacturing technology. It...
Li Chen, Hong Deng, Qianni Deng, Zhenyu Wu
CSSE
2008
IEEE
15 years 11 months ago
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu K...
DATE
2007
IEEE
91views Hardware» more  DATE 2007»
15 years 10 months ago
Remote testing and diagnosis of System-on-Chips using network management frameworks
This paper presents a new approach that allows remote testing and diagnosis of complex (Systems-on-Chip) and embedded IP cores. The approach extends both on-chip design-for-test (...
Oussama Laouamri, Chouki Aktouf
ICNP
1998
IEEE
15 years 8 months ago
A Proof Technique for Liveness Properties of Multifunction Composite Protocols
In protocol composition techniques, component protocols are combined in various ways to obtain a complex protocol whose execution sequences consist of interleaved execution sequen...
J. Park, R. Miller
ACSW
2006
15 years 5 months ago
Formal analysis of secure contracting protocol for e-tendering
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...
Rong Du, Ernest Foo, Colin Boyd, Kim-Kwang Raymond...