Sciweavers

15635 search results - page 96 / 3127
» Modelling and Design of VAML
Sort
View
DATE
2003
IEEE
152views Hardware» more  DATE 2003»
15 years 9 months ago
Bluetooth Transceiver Design with VHDL-AMS
This paper describes the design challenges of BlueTraCTM , a low-cost, low-power radio transceiver and the usage of mixed-signal/mixed-mode techniques and behavioral modeling with...
Rami Ahola, Daniel Wallner, Marius Sida
SIGCSE
2000
ACM
139views Education» more  SIGCSE 2000»
15 years 9 months ago
Design and analysis of algorithms reconsidered
The paper elucidates two views (models) of algorithmic problem solving. The first one is static; it is based on the identification of several principal dimensions of algorithmic p...
Anany Levitin
ECOOP
2000
Springer
15 years 8 months ago
Design Patterns Application in UML
The Unified Modeling Language (UML) currently proposes a mechanism to model recurrent design structures: the parameterized collaborations. The main goal of this mechanism is to mo...
Gerson Sunyé, Alain Le Guennec, Jean-Marc J...
FMAM
2010
157views Formal Methods» more  FMAM 2010»
15 years 2 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
EMSOFT
2003
Springer
15 years 9 months ago
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
Albert Benveniste, Luca P. Carloni, Paul Caspi, Al...