Sciweavers

2136 search results - page 134 / 428
» Learning Behavior Models for Hybrid Timed Systems
Sort
View
WMTE
2005
IEEE
15 years 6 months ago
A Multi-Model Approach for Supporting the Personalization of Ubiquitous Learning Applications
An additional platform for supporting learning in the same physical space in which it takes place, is now available owing to the continuous advancement of wireless and mobile tech...
Rosa G. J. Paredes, Hiroaki Ogata, Yoneo Yano, Ger...
SAC
2004
ACM
15 years 6 months ago
Combining analysis and synthesis in a model of a biological cell
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
Ken Webb, Tony White
120
Voted
ECBS
2007
IEEE
145views Hardware» more  ECBS 2007»
15 years 4 months ago
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi...
104
Voted
IEEEARES
2006
IEEE
15 years 6 months ago
Towards a Stochastic Model for Integrated Security and Dependability Evaluation
We present a new approach to integrated security and dependability evaluation, which is based on stochastic modelling techniques. Our proposal aims to provide operational measures...
Karin Sallhammar, Bjarne E. Helvik, Svein J. Knaps...
92
Voted
JNW
2006
55views more  JNW 2006»
15 years 23 days ago
On Stochastic Modeling for Integrated Security and Dependability Evaluation
This paper presents a new approach to integrated security and dependability evaluation, which is based on stochastic modeling techniques. Our proposal aims to provide operational m...
Karin Sallhammar, Bjarne E. Helvik, Svein J. Knaps...