Sciweavers

1671 search results - page 241 / 335
» Semantics Through Pictures
Sort
View
AUTOMATICA
2011
13 years 2 months ago
Timing and liveness in continuous Petri nets
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...
Carlos Renato Vázquez, Manuel Silva
ECEASST
2010
13 years 2 months ago
Towards a Conceptual Framework Supporting Model Compilability
The ever-growing use of modeling languages today is largely due to a maturation of model-based development technologies. However, there is enough room for improving language specif...
Dan Ioan Chiorean, Vladiela Petrascu
ICDE
2005
IEEE
105views Database» more  ICDE 2005»
14 years 9 months ago
Representing and Querying Data Transformations
Modern information systems often store data that has been transformed and integrated from a variety of sources. This integration may obscure the original source semantics of data ...
John Mylopoulos, Renée J. Miller, Yannis Ve...
IDEAS
2009
IEEE
232views Database» more  IDEAS 2009»
14 years 2 months ago
RDFKB: efficient support for RDF inference queries and knowledge management
RDFKB (Resource Description Framework Knowledge Base) is a relational database system for RDF datasets which supports inference and knowledge management. Significant research has ...
James P. McGlothlin, Latifur R. Khan
OOPSLA
2009
Springer
14 years 2 months ago
CZ: multiple inheritance without diamonds
Multiple inheritance has long been plagued with the “diamond” inheritance problem, leading to solutions that restrict expressiveness, such as mixins and traits. Instead, we ad...
Donna Malayeri, Jonathan Aldrich