9821 search results - page 213 / 1965 » A Framework for the Development of Protocols |
165
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
148
click to vote
DCOSS
2008
Springer
15 years 8 months ago
2008
Springer
This paper introduces a framework for in-field-maintenance services for wireless sensor networks. The motivation of this work is driven by an observation that many applications usi...
156
click to vote
GC
2004
Springer
16 years 1 days ago
2004
Springer
We describe the architecture and the implementation of the MIKADO software framework, that we call IMC (Implementing Mobile Calculi). The framework aims at providing the programmer...
144
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we present the architecture of CoBFIT, a component-based framework for building intrusion-tolerant distributed systems. The CoBFIT framework, by virtue of its desig...
158
click to vote
DRMTICS
2005
Springer
15 years 8 months ago
2005
Springer
A digital movie can be created jointly under the cooperation of many creators. It is then necessary to provide protection to the creatorship of each participating creator. In this ...