9821 search results - page 50 / 1965 » A Framework for the Development of Protocols |
216
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
158
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a proposal for integrating in a single CORBA middleware platform two important OMG specifications: FTCORBA, which provides fault-tolerance support for CORBA obj...
170
click to vote
APSEC
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
186
click to vote
WSC
1997
15 years 8 months ago
1997
We are developing a parallel simulation framework for large-scale network simulation. An important component of this work is the development of a TCP/IP model library. TCP/IP expe...
174
click to vote
SEKE
2007
Springer
16 years 23 days ago
2007
Springer
In this paper, we attempt to study and investigate ontology development and maintenance frameworks from a domain-centric point of view. By frameworks we mean the structures which ...