8874 search results - page 33 / 1775 » A New Implementation of Automath |
WSC
2008
14 years 1 months ago
2008
Creation of an Outpatient Procedure Center (OPC) is a complicated endeavor, requiring a detailed understanding of the resources available and the procedures to be performed. Misca...
JCM
2007
13 years 11 months ago
2007
— This paper reviews proposed realization concepts and achievements of wireless sensor nodes and focuses on new developments in the 24 GHz frequency range. The relatively high fr...
VEE
2006
ACM
14 years 4 months ago
2006
ACM
The progress towards programming methodologies that simplify the work of the programmer involves automating, whenever possible, activities that are secondary to the main task of d...
LCPC
1998
Springer
14 years 3 months ago
1998
Springer
This report discusses some design and implementation issues in the HPJava language. Through example codes, we will illustrate how various language features have been designed to f...
WWW
2002
ACM
14 years 11 months ago
2002
ACM
This paper presents a new protocol for certified email. The protocol aims to combine security, scalability, easy implementation, and viable deployment. The protocol relies on a li...