7694 search results - page 1126 / 1539 » An Implementation of an Applicative File System |
172
click to vote
MCS
2007
Springer
15 years 6 months ago
2007
Springer
Using standard calculus, explicit formulas for the one-dimensional continuous and discrete homotopy operators are derived. It is shown that these formulas are equivalent to those ...
186
click to vote
CN
2004
15 years 6 months ago
2004
This paper presents a new method to tackle the feature interaction problem in Internet telephony with the CPL (Call Processing Language) programmable service environment. To cope ...
189
click to vote
INFORMATICALT
2000
15 years 6 months ago
2000
Growing popularity of the mobile code requires to consider various aspects related to its security. In the aviation industry there is a case when additional information needs to be...
301
click to vote
ENTCS
2002
15 years 6 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
152
click to vote
CN
1998
15 years 6 months ago
1998
A library of functions for the creation, manipulation, and viewing of solid models was created for deployment on the World Wide Web. The core data structure was based on the halfe...