7694 search results - page 213 / 1539 » An Implementation of an Applicative File System |
166
Voted
PPDP
2000
Springer
15 years 9 months ago
2000
Springer
Erlang is a concurrent functional programming language designed to ease the development of large-scale distributed soft real-time control applications. It has so far been quite su...
160
click to vote
IKE
2007
15 years 7 months ago
2007
Information retrieval emerged as independent research area from traditional database management system more than a decade ago. This was driven by the increasing functional require...
151
click to vote
JAIR
2008
15 years 6 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
159
click to vote
CONCURRENCY
2008
15 years 6 months ago
2008
Most current P2P file sharing systems treat their users as anonymous, unrelated entities, and completely disregard any social relationships between them. However, social phenomena...
229
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
The description, composition, and execution of even logically simple scientific workflows are often complicated by the need to deal with "messy" issues like heterogeneou...