Sciweavers

1423 search results - page 123 / 285
» Interpreting distributed ontologies
Sort
View
DAC
2003
ACM
14 years 2 months ago
Instruction set compiled simulation: a technique for fast and flexible instruction set simulation
Instruction set simulators are critical tools for the exploration and validation of new programmable architectures. Due to increasing complexity of the architectures and timeto-ma...
Mehrdad Reshadi, Prabhat Mishra, Nikil D. Dutt
ESWS
2009
Springer
14 years 4 months ago
CultureSampo: A National Publication System of Cultural Heritage on the Semantic Web 2.0
CULTURESAMPO is an application demonstration of a national level publication system of cultural heritage contents on the Web, based on ideas and technologies of the Semantic (Web a...
Eero Hyvönen, Eetu Mäkelä, Tomi Kau...
CSFW
2000
IEEE
14 years 2 months ago
Local Names in SPKI/SDSI
We analyze the notion of “local names” in SPKI/SDSI. By interpreting local names as distributed groups, we develop a simple logic program for SPKI/SDSI’s linked localname sc...
Ninghui Li
ENTCS
2006
146views more  ENTCS 2006»
13 years 9 months ago
Relating State-Based and Process-Based Concurrency through Linear Logic
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
Iliano Cervesato, Andre Scedrov
KDD
2008
ACM
147views Data Mining» more  KDD 2008»
14 years 10 months ago
Mobile call graphs: beyond power-law and lognormal distributions
We analyze a massive social network, gathered from the records of a large mobile phone operator, with more than a million users and tens of millions of calls. We examine the distr...
Mukund Seshadri, Sridhar Machiraju, Ashwin Sridhar...