Sciweavers

4516 search results - page 169 / 904
» Semantic Web and Education
Sort
View
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 6 months ago
Timed Automata Semantics for Analyzing Creol
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
Mohammad Mahdi Jaghoori, Tom Chothia
CORR
2010
Springer
118views Education» more  CORR 2010»
15 years 6 months ago
Toward a Formal Semantics for Autonomic Components
Autonomic management can improve the QoS provided by parallel/distributed applications. Within the CoreGRID Component Model, the autonomic management is tailored to the automatic
Marco Aldinucci, Emilio Tuosto
CORR
2008
Springer
108views Education» more  CORR 2008»
15 years 6 months ago
Query Refinement by Multi Word Term expansions and semantic synonymy
perception of domain concepts. We have run this experiment on the 367 645 English abstracts of PASCAL 2005-2006 bibliographic database (http://www.inist.fr) and compared the struct...
Véronila Lux-Pogodalla, Eric SanJuan
INTERACTION
2009
ACM
16 years 1 months ago
DTD2OWL: automatic transforming XML documents into OWL ontology
DTD and its instance have been considered the standard for data representation and information exchange format on the current web. However, when coming to the next generation of w...
Pham Thi Thu Thuy, Young-Koo Lee, Sungyoung Lee
WWW
2006
ACM
16 years 7 months ago
Exploring social annotations for the semantic web
In order to obtain a machine understandable semantics for web resources, research on the Semantic Web tries to annotate web resources with concepts and relations from explicitly d...
Xian Wu, Lei Zhang, Yong Yu