Sciweavers

2432 search results - page 252 / 487
» High-level approach to modeling of observed system behavior
Sort
View
IROS
2007
IEEE
95views Robotics» more  IROS 2007»
16 years 27 days ago
Modeling affordances using Bayesian networks
— Affordances represent the behavior of objects in terms of the robot’s motor and perceptual skills. This type of knowledge plays a crucial role in developmental robotic system...
Luis Montesano, Manuel Lopes, Alexandre Bernardino...
ER
2010
Springer
144views Database» more  ER 2010»
15 years 5 months ago
Building Dynamic Models of Service Compositions with Simulation of Provision Resources
Efficient and competitive provision of service compositions depends both on the composition structure, and on planning and management of computational resources necessary for prov...
Dragan Ivanovic, Martin Treiber, Manuel Carro, Sch...
EMSOFT
2009
Springer
16 years 1 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Kai Lampka, Simon Perathoner, Lothar Thiele
ECTEL
2010
Springer
15 years 4 months ago
GVIS: A Facility for Adaptively Mashing Up and Representing Open Learner Models
In this article we present an infrastructure for creating mash up and visual representations of the user profile that combine data from different sources. We explored this approach...
Luca Mazzola, Riccardo Mazza
APSEC
2009
IEEE
15 years 4 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli