Sciweavers

383 search results - page 50 / 77
» Designing Capital-Intensive Systems with Architectural and O...
Sort
View
CL
2008
Springer
13 years 9 months ago
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
Pao-Ann Hsiung, Shang-Wei Lin
COMCOM
1998
132views more  COMCOM 1998»
13 years 8 months ago
A distributed object platform infrastructure for multimedia applications
Although distributed object computing has developed rapidly over the past decade, and is now becoming commercially important, there remain key application areas inadequately suppo...
Geoff Coulson, Michael Clarke
EMSOFT
2007
Springer
14 years 3 months ago
The algebra of connectors: structuring interaction in BIP
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
Simon Bliudze, Joseph Sifakis
JCM
2008
101views more  JCM 2008»
13 years 8 months ago
MIMO Channel Sounder at 3.5 GHz: Application to WiMAX System
The use of antenna arrays at emission and reception seems to represent a prominent solution for future wireless systems, it improves data rates and enhances the quality of service....
Hanna Farhat, Guy Grunfelder, Alvaro Carcelen, Gha...
WSC
1994
13 years 10 months ago
AutoStat
Whether designing a new system or modifying an existing one, engineers want to take the guesswork out of finding the best possible solution. While there are many analysis methods ...
Matthew W. Rohrer