Sciweavers

1660 search results - page 97 / 332
» Abstract Application Modeling for System Design Space Explor...
Sort
View
HASE
2008
IEEE
13 years 9 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
IFM
2010
Springer
204views Formal Methods» more  IFM 2010»
13 years 7 months ago
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce,...
QI
2009
Springer
123views Physics» more  QI 2009»
14 years 3 months ago
Hilbert Space Models Commodity Exchanges
Abstract. It is argued that the vector space measures used to measure closeness of market prices to predictors for market prices are invalid because of the observed metric of commo...
Paul Cockshott
CORR
2007
Springer
154views Education» more  CORR 2007»
13 years 9 months ago
To Code or Not to Code Across Time: Space-Time Coding with Feedback
Abstract— Space-time codes leverage the availability of multiple antennas to enhance the reliability of communication over wireless channels. While space-time codes have initiall...
Che Lin, Vasanthan Raghavan, Venugopal V. Veeraval...
IJCIS
2007
101views more  IJCIS 2007»
13 years 8 months ago
Applying MDE to the Development of Flexible and Reusable Wireless Sensor Networks
by allowing designers to model their systems at different abstraction levels, providing them omatic model transformations to incrementally refine abstract models into more concrete...
Cristina Vicente-Chicote, Fernando Losilla, B&aacu...