Sciweavers

5414 search results - page 405 / 1083
» Exploratory Model Building
Sort
View
CEEMAS
2003
Springer
16 years 28 days ago
A Multi-agent System for Dynamic Network Reconfiguration
This paper presents a system for dynamic network reconfiguration based on intelligent agents and market–oriented methods. Reconfiguration encompasses routing changes as well as b...
Artur Maj, Jaroslaw Jurowicz, Jaroslaw Kozlak, Krz...
ECAI
2000
Springer
16 years 1 days ago
Diagnosis and Diagnosability Analysis Using PEPA
In this paper we propose the use of process algebras as powerful frameworks for model-based diagnosis. In fact, they provide machinery and tools for building component-oriented mod...
Luca Console, Claudia Picardi, Marina Ribaudo
VTS
1997
IEEE
105views Hardware» more  VTS 1997»
15 years 12 months ago
Critical hazard free test generation for asynchronous circuits
We describe a technique to generate critical hazard-free tests for self-timed control circuits build using a macromodule library, in a partial scan based DFT environment. Wepropos...
Ajay Khoche, Erik Brunvand
ICSE
2010
IEEE-ACM
15 years 11 months ago
SSG: a model-based development environment for smart, security-aware GUIs
We present a development environment for automatically building smart, security-aware GUIs following a model-based approach. Our environment consists of a number of plugins that h...
Miguel Angel García de Dios, Carolina Dania...
ECIR
2010
Springer
15 years 9 months ago
Filtering Documents with Subspaces
We propose an approach to build a subspace representation for documents. This more powerful representation is a first step towards the development of a quantum-based model for Info...
Benjamin Piwowarski, Ingo Frommholz, Yashar Moshfe...