Sciweavers

486 search results - page 92 / 98
» OCL and Model Driven Engineering
Sort
View
CAISE
2006
Springer
13 years 11 months ago
An Interactive, Asymmetric and Extensional Method for Matching Conceptual Hierarchies
Our work deals with schema or ontology matching and is driven by the following statements: (1) Most of works only consider intensional description of schemas; (2) They mostly use s...
Jérôme David, Fabrice Guillet, R&eacu...
TEDU
2008
126views Education» more  TEDU 2008»
13 years 6 months ago
Online Learning and Clinical Procedures: Rapid Development and Effective Deployment of Game-Like Interactive Simulations
Abstract. Traditionally, medical education has used live patients to teach medical procedures. This carries a significant risk to patients. As learning technology advances, the ear...
Pablo Moreno-Ger, Carl Blesius, Paul Currier, Jos&...
ICCAD
2009
IEEE
121views Hardware» more  ICCAD 2009»
13 years 5 months ago
MOLES: Malicious off-chip leakage enabled by side-channels
Economic incentives have driven the semiconductor industry to separate design from fabrication in recent years. This trend leads to potential vulnerabilities from untrusted circui...
Lang Lin, Wayne Burleson, Christof Paar
EJC
2010
13 years 2 months ago
Inferencing in Database Semantics
As a computational model of natural language communication, Database Semantics1 (DBS) includes a hearer mode and a speaker mode. For the content to be mapped into language expressi...
Roland Hausser
EMSOFT
2011
Springer
12 years 7 months ago
Software certification: coding, code, and coders
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
Klaus Havelund, Gerard J. Holzmann