Sciweavers

3605 search results - page 232 / 721
» System and simulation modeling using SysML
Sort
View
163
Voted
ISAMI
2010
15 years 1 months ago
A Framework for Modeling and Analysis of Ambient Agent Systems: Application to an Emergency Case
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...
Tibor Bosse, Alexei Sharpanskykh
VLSID
2005
IEEE
118views VLSI» more  VLSID 2005»
16 years 4 months ago
Battery Model for Embedded Systems
This paper explores the recovery and rate capacity effect for batteries used in embedded systems. It describes the prominent battery models with their advantages and drawbacks. It...
Venkat Rao, Gaurav Singhal, Anshul Kumar, Nicolas ...
152
Voted
IEEECIT
2010
IEEE
15 years 2 months ago
A Learning Spectrum Hole Prediction Model for Cognitive Radio Systems
—In this paper, we present a new spectrum-hole prediction model for cognitive radio (CR) systems based on the IEEE 802.11 wireless local areas networks. We have also analyzed the...
Zhigang Wen, Chunxiao Fan, Xiaoying Zhang, Yuexin ...
142
Voted
CAV
2005
Springer
133views Hardware» more  CAV 2005»
15 years 9 months ago
On Statistical Model Checking of Stochastic Systems
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
Koushik Sen, Mahesh Viswanathan, Gul Agha
137
Voted
IAT
2007
IEEE
15 years 10 months ago
Aiding Human Reliance Decision Making Using Computational Models of Trust
This paper involves a human-agent system in which there is an operator charged with a pattern recognition task, using an automated decision aid. The objective is to make this huma...
Peter-Paul van Maanen, Tomas Klos, Kees van Dongen