11017 search results - page 99 / 2204 » Closure Systems and their Structure |
ECIS
2001
13 years 9 months ago
2001
Interpretivist research in progress in a market research company is reported. Market research is information and knowledge intensive. The problem addressed concerns sharing inform...
LPAR
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
MASCOTS
2004
13 years 9 months ago
2004
Fault-tolerant mechanisms have been increasingly used to develop safety-critical systems in the past years. Therefore the accurate description of these mechanisms is crucial if we...
GI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract: Among other things, Peer-to-Peer (P2P) systems are very useful for managing large amounts of widely distributed data. Distributed Hash Tables (DHT) offer a highly scalabl...
LREC
2008
13 years 9 months ago
2008
We outline work to be carried out within the framework of an impending EC project. The goal is to construct a language-independent information system for a specific domain (environ...