Sciweavers

7452 search results - page 184 / 1491
» A Semantics for Multiprocessor Systems
Sort
View
137
Voted
IJKL
2008
73views more  IJKL 2008»
15 years 4 months ago
(Semantic web) services for e-learning
Service-Oriented Architectures are becoming a popular system paradigm in e-learning, and there are several efforts to create community driven service frameworks. In this paper, we...
David E. Millard, Karl Doody, Hugh C. Davis, Leste...
ACSD
2001
IEEE
91views Hardware» more  ACSD 2001»
15 years 7 months ago
Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems
We here consider transition systems of Elementary Net Systems with Inhibitor Arcs. There are basically two di erent types of non-interleaving semantics of such Petri nets, the a-po...
Marta Pietkiewicz-Koutny
133
Voted
DATE
2008
IEEE
102views Hardware» more  DATE 2008»
15 years 10 months ago
Semantics for Model-Based Validation of Continuous/Discrete Systems
Continuous and discrete components can be integrated in diverse systems including defense, medical, electronic, communication, and automotive applications. Given the heterogeneity...
Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicoles...
HYBRID
2005
Springer
15 years 9 months ago
Operational Semantics of Hybrid Systems
This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific...
Edward A. Lee, Haiyang Zheng
RIAO
2004
15 years 5 months ago
Improving the Precision of a Closed-Domain Question-Answering System with Semantic Information
This paper presents our experiments in applying semantic information to improve the precision of the information retrieval module in a closed-domain question-answering system. Tha...
Hai Doan-Nguyen, Leila Kosseim