4842 search results - page 11 / 969 » A Calculus for Data Mapping |
CONCUR
2006
Springer
13 years 11 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
SEMWEB
2001
Springer
14 years 3 days ago
2001
Springer
Abstract. Topic Maps and RDF are two independently developed paradigms and standards for the representation, interchange, and exploitation of model-based data on the web. Each para...
INFORMATICALT
2002
13 years 7 months ago
2002
In the paper two methods for data structure analysis and visualisation are presented: the simultaneous nonlinear mapping (Sammon, 1969) and the sequential one (Montvilas, 1995). Th...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
In both commercial and defense sectors a compelling need is emerging for rapid, yet secure, dissemination of information to the concerned actors. Traditional approaches to informa...
ESOP
2010
Springer
14 years 2 months ago
2010
Springer
Stream processing applications such as algorithmic trading, MPEG processing, and web content analysis are ubiquitous and essential to business and entertainment. Language designers...