7694 search results - page 302 / 1539 » An Implementation of an Applicative File System |
181
click to vote
IFL
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
160
click to vote
COMCOM
2006
15 years 6 months ago
2006
The necessity of network traffic monitoring and analysis is growing dramatically with increasing network usage demands from individual users as well as business communities. Most ...
204
click to vote
GW
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a HMM based system for real-time gesture analysis. The system outputs continuously parameters relative to the gesture time progression and its likelihood. Thes...
155
click to vote
SIGADA
2005
Springer
16 years 3 days ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
183
click to vote
HICSS
2005
IEEE
16 years 8 days ago
2005
IEEE
While dedicated technologies such as e.g., Sun’s J2ME MIDP offer a simple programming model for mobile applications, appropriate support for modularizing the implementation of t...