469 search results - page 71 / 94 » Putting curry-howard to work |
UIST
2005
ACM
14 years 1 months ago
2005
ACM
System administrators work with many different tools to manage and fix complex hardware and software infrastructure in a rapidly paced work environment. Through extensive field st...
LOCA
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents the design, implementation, and evaluation of a footprintbased indoor location system on traditional Japanese GETA sandals. Our footprint location system can s...
BIOADIT
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. Biologically inspired approaches to the design of general IT are presently flourishing. Investigating the scientific and historical roots of the tendency will serve to pr...
CCS
2004
ACM
14 years 29 days ago
2004
ACM
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. Such comparisons are generally based on simulations between di...
ICWE
2003
Springer
14 years 23 days ago
2003
Springer
This work presents a research on the methods and mechanisms necessary to bring the Information and Communication Technologies in the traditional classroom. This will be achieved by...