Sciweavers

1521 search results - page 258 / 305
» On Sampled Semantics of Timed Systems
Sort
View
ICTAI
2009
IEEE
15 years 4 months ago
Change Tracer: Tracking Changes in Web Ontologies
Knowledge constantly grows in scientific discourse and is revised over time by domain experts. The body of knowledge will get structured and refined as the Communities of Practice...
Asad Masood Khattak, Khalid Latif, Manhyung Han, S...
IDEAS
2009
IEEE
232views Database» more  IDEAS 2009»
15 years 4 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
FOAL
2009
ACM
15 years 4 months ago
Unweaving the impact of aspect changes in AspectJ
Aspect-oriented programming (AOP) fosters the coding of tangled concerns in separated units that are then woven together in the executable system. Unfortunately, the oblivious nat...
Luca Cavallaro, Mattia Monga
QEST
2008
IEEE
15 years 4 months ago
Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...
Josée Desharnais, François Laviolett...
SSDBM
2007
IEEE
118views Database» more  SSDBM 2007»
15 years 4 months ago
Database Support for Weighted Match Joins
As relational database management systems are applied to non-traditional domains such as scientific data management, there is an increasing need to support queries with semantics ...
Ameet Kini, Jeffrey F. Naughton