Sciweavers

2135 search results - page 237 / 427
» Dimensions of Component Based Development
Sort
View
BIOWIRE
2007
Springer
15 years 8 months ago
Bio-Inspired Approaches for Autonomic Pervasive Computing Systems
In this chapter, we present some of the biologically-inspired approaches, developed within the context of the European project BIONETS for enabling autonomic pervasive computing en...
Daniele Miorandi, Iacopo Carreras, Eitan Altman, L...
INCDM
2007
Springer
96views Data Mining» more  INCDM 2007»
15 years 8 months ago
Neural Business Control System
Small to medium sized companies require a business control mechanism in order to monitor their modus operandi and analyse whether they are achieving their goals. A tool for the dec...
María Lourdes Borrajo Diz, Juan M. Corchado...
MODELS
2007
Springer
15 years 8 months ago
Scenario Integration via the Transformation and Manipulation of Higher-order Graphs
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
Hongzhi Liang
CSFW
2005
IEEE
15 years 8 months ago
An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
Iliano Cervesato, Catherine Meadows, Dusko Pavlovi...
DATE
2003
IEEE
119views Hardware» more  DATE 2003»
15 years 7 months ago
IPSIM: SystemC 3.0 Enhancements for Communication Refinement
Refinement is a key methodology for SoC design. The proposed IPSIM design environment, based on a C++ modeling library developed on top of SystemC 3.0, supports an object-oriented...
Marcello Coppola, Stephane Curaba, Miltos D. Gramm...