Sciweavers

413 search results - page 44 / 83
» A Framework for Interoperability
Sort
View
ACSD
2001
IEEE
83views Hardware» more  ACSD 2001»
13 years 11 months ago
Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
Jerry R. Burch, Roberto Passerone, Alberto L. Sang...
IMECS
2007
13 years 9 months ago
Development of Contents Management System Based on Light-Weight Ontology
—In the Structuring Nanotechnology Knowledge project, a material-independent platform for supporting development of innovative nano-materials is developed. The platform is called...
Kouji Kozaki, Yoshinobu Kitamura, Riichiro Mizoguc...
SAC
2008
ACM
13 years 7 months ago
Towards a complete SCM ontology: the case of ontologising RosettaNet
This paper presents a methodology to derive a Supply Chain Management Ontology based on the RosettaNet specification framework. A prototype to mechanically derive a core ontology ...
Armin Haller, Jedrzej Gontarczyk, Paavo Kotinurmi
WSC
1998
13 years 9 months ago
Building Parallel Time-Constrained HLA Federates: A Case Study with the Parsec Parallel Simulation Language
Based on the DIS result, the HLA framework has been defined to achieve interoperability of independent simulators. Concurrently, and for the most part, independent of that effort,...
CongDuc Pham, Rajive Bagrodia
ESAW
2006
Springer
13 years 11 months ago
Competence Checking for the Global E-Service Society Using Games
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
Kostas Stathis, George Lekeas, Christos Kloukinas