Sciweavers

Share
106 search results - page 1 / 22
» Semantics for Model-Based Validation of Continuous Discrete ...
Sort
View
DATE
2008
IEEE
102views Hardware» more  DATE 2008»
9 years 5 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...
UML
2001
Springer
9 years 3 months ago
Approaching a Discrete-Continuous UML: Tool Support and Formalization
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
Thomas Stauner, Alexander Pretschner, Istran P&eac...
LOGCOM
2008
81views more  LOGCOM 2008»
8 years 11 months ago
The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies
We consider continuous quantities that are used to describe the physical world, such as colour, shape, sound, texture, and spatial and temporal arrangements. Natural languages are...
Shenghui Wang, David E. Rydeheard, Jeff Z. Pan
QEST
2015
IEEE
3 years 7 months ago
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living
In Ambient Assisted Living (AAL), Activity Recognition (AR) plays a crucial role in filling the semantic gap between sensor data and interpretation needed at the application level...
Laura Carnevali, Christopher Nugent, Fulvio Patara...
WSC
2000
9 years 16 days ago
Use of discrete event simulation to validate an agent based scheduling engine
This paper discusses the use of simulation in a new context. Most often QUEST is viewed as a stand-alone simulation tool to analyze and understand shop floor behavior. It has rare...
Shubhabrata Biswas, Sara Merchawi
books