9821 search results - page 50 / 1965 » A Framework for the Development of Protocols |
188
click to vote
INFORMATICALT
2007
15 years 5 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...
141
click to vote
COOPIS
2004
IEEE
15 years 9 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...
148
click to vote
APSEC
2005
IEEE
15 years 11 months 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...
163
Voted
WSC
1997
15 years 7 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...
162
click to vote
SEKE
2007
Springer
15 years 11 months 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 ...