27274 search results - page 205 / 5455 » A framework for framework documentation |
192
click to vote
MSS
2005
IEEE
16 years 19 days ago
2005
IEEE
We present an architecture of a trust framework that can be utilized to intelligently tradeoff between security and performance in a SAN file system. The primary idea is to diffe...
155
click to vote
CCS
2005
ACM
16 years 18 days ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
219
click to vote
FROCOS
2005
Springer
16 years 17 days ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
179
click to vote
ISCIS
2005
Springer
16 years 17 days ago
2005
Springer
The stream control transmission protocol (SCTP) is a new transport protocol, which provides multi-streaming and multi-homing features. Especially, recent SCTP extensions with dynam...
204
click to vote
UML
2005
Springer
16 years 16 days ago
2005
Springer
This paper overviews the Modeling Turnpike (mTurnpike) project, which investigates a generic model-driven development framework that supports various domain-specific solutions (i.e...