Sciweavers

4890 search results - page 310 / 978
» From system specifications to component behavioral models
Sort
View
SAC
2005
ACM
16 years 11 days ago
An agent model for fault-tolerant systems
This paper describes the use of fault tolerance in a multiagent system. Such an approach is based on the modeling of autonomous agents with planning capabilities. These capabiliti...
Avelino F. Zorzo, Felipe Rech Meneguzzi
EURODAC
1994
IEEE
211views VHDL» more  EURODAC 1994»
15 years 11 months ago
Advanced simulation and modeling techniques for hardware quality verification of digital systems
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
S. Forno, Stephen Rochel
ICIP
2004
IEEE
16 years 8 months ago
Performance assessment of a visual attention system entirely based on a human vision modeling
It is now commonly assumed that the human visual attention, which is a selecting process of the most relevant locations in a scene according to a particular behavior, is driven by...
Olivier Le Meur, Patrick Le Callet, Dominique Barb...
APSEC
1999
IEEE
15 years 11 months ago
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
Jan Philipps, Oscar Slotosch
EDBT
2010
ACM
125views Database» more  EDBT 2010»
15 years 10 months ago
A plan for OLAP
So far, data warehousing has often been discussed in the light of complex OLAP queries and as reporting facility for operative data. We argue that business planning as a means to ...
Bernhard Jaecksch, Wolfgang Lehner, Franz Faerber