Sciweavers

2336 search results - page 290 / 468
» A Proposed Methodology for Web Development
Sort
View
FDL
2005
IEEE
14 years 3 months ago
SystemC-WMS: A Wave Mixed Signal Simulator
This paper proposes a methodology for extending SystemC to mixed signal systems, aimed at allowing the reuse of analog models and to the simulation of heterogeneous systems. To th...
Simone Orcioni, Giorgio Biagetti, Massimo Conti
ISCAS
2005
IEEE
132views Hardware» more  ISCAS 2005»
14 years 3 months ago
N-scroll chaotic attractors from a general jerk circuit
— This paper proposes a novel nonlinear modulating function approach for generating n−scroll chaotic attractors based on a general jerk circuit. The systematic nonlinear modula...
Simin Yu, Jinhu Lu, Henry Leung, Guanrong Chen
CASSIS
2005
Springer
14 years 3 months ago
Modular Proof Principles for Parameterised Concretizations
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
David Pichardie
CASDMKM
2004
Springer
131views Data Mining» more  CASDMKM 2004»
14 years 3 months ago
XML-Based Schemes for Business Project Portfolio Selection
Abstract. Many methodologies have been introduced to deal with project portfolio selection problem including some techniques that help to evaluate individual projects, or to select...
Jichang Dong, Kin Keung Lai, Shouyang Wang
ERCIMDL
2004
Springer
81views Education» more  ERCIMDL 2004»
14 years 3 months ago
Annotations in Digital Libraries and Collaboratories - Facets, Models and Usage
Abstract. This paper presents the results of our study regarding the different facets and ways of using annotations in both digital libraries and collaboratories. This study repres...
Maristella Agosti, Nicola Ferro, Ingo Frommholz, U...