نتایج جستجو برای: public domain software
تعداد نتایج: 1167874 فیلتر نتایج به سال:
The Domain Name System’s Security Extensions (DNSSEC) allow clients and resolvers to verify that DNS responses have not been forged or modified inflight. DNSSEC uses a public key infrastructure (PKI) to achieve this integrity, without which users can be subject to a wide range of attacks. However, DNSSEC can operate only if each of the principals in its PKI properly performs its management task...
In this paper, we outline a series of related applications and a web service designed to enable non-expert users to develop online visualizations which are essentially map-based. In the last five years, public domain GIS (geographic information systems) software for map display and beyond has become available for non-expert users in the public domain, the best examples being the various product...
This paper introduces a new notation called S which is based on higher order logic. It has been developed specifically to support the practical application of formal methods in industrial scale projects. The development of S has occurred in the context of an investigation into the possibility of using formal specification techniques in the development of a $400 million air traffic control syste...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید