9821 search results - page 351 / 1965 » A Framework for the Development of Protocols |
176
click to vote
JIIS
2008
15 years 6 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
171
click to vote
ISJ
2002
15 years 6 months ago
2002
The open source software (OSS) model is a fundamentally new and revolutionary way to develop software. The success of the OSS model is also setting the stage for a structural chang...
163
click to vote
EWC
2011
15 years 1 months ago
2011
This paper outlines continuing work on the intelligent design catalogue. The intelligent design catalogue seeks to create a virtual design environment that is linked to a catalogu...
247
click to vote
DOCENG
2011
ACM
14 years 6 months ago
2011
ACM
Many Web-based geographic applications have been developed in various domains, such as tourism, education, surveillance and military. However, developing such applications is a cu...
172
click to vote
TCC
2005
Springer
16 years 11 days ago
2005
Springer
Definition of security under the framework of Environmental Security (a.k.a Network-Aware Security or Universally Composable Security) typically requires “extractability” of t...