1974 search results - page 85 / 395 » A Library System for Small-Scale Library |
TNC
2004
15 years 2 months ago
2004
This paper introduces an environment for distributed video transcoding based on Grid computing infrastructure and Internet Backplane Protocol storage infrastructure. A model for s...
106
Voted
EJC
2000
15 years 2 months ago
2000
We present a new model for generating network applications. Our model is based on trees communicating with each other. Our model is simple to understand, but yet powerful enough to...
WSC
2000
15 years 2 months ago
2000
A graphical discrete event simulation library is proposed for system simulation that is based on interacting concurrent processes. This library works with EXTEND (Imagine That Inc...
109
click to vote
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...
104
click to vote
MM
2006
ACM
15 years 7 months ago
2006
ACM
Effective usage of multimedia digital libraries has to deal with the problem of building efficient content annotation and retrieval tools. MOM (Multimedia Ontology Manager) is a ...