Sciweavers

748 search results - page 77 / 150
» Requirements Driven Quality Control
Sort
View
MUE
2008
IEEE
84views Multimedia» more  MUE 2008»
15 years 11 months ago
TCP-Based Dynamic Media Stream Adaptation in Ubiquitous Environment
More and more media material is consumed in ubiquitous environment where the service can be experienced over different devices, network conditions, network bearers, etc. Unlike in...
Gergely Hományi, Gábor Paller
RSP
2003
IEEE
132views Control Systems» more  RSP 2003»
15 years 10 months ago
Rapid Exploration of Pipelined Processors through Automatic Generation of Synthesizable RTL Models
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Arun Kejariwal, Nikil Dutt
BPM
2006
Springer
128views Business» more  BPM 2006»
15 years 7 months ago
Towards Formal Verification of Web Service Composition
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
Mohsen Rouached, Olivier Perrin, Claude Godart
CEC
2008
IEEE
15 years 11 months ago
Automatic model type selection with heterogeneous evolution: An application to RF circuit block modeling
— Many complex, real world phenomena are difficult to study directly using controlled experiments. Instead, the use of computer simulations has become commonplace as a cost effe...
Dirk Gorissen, Luciano De Tommasi, Jeroen Croon, T...
BDIM
2007
IEEE
72views Business» more  BDIM 2007»
15 years 11 months ago
Elevating the Discussion on Security Management: The Data Centric Paradigm
— Corporate decision makers have normally been disconnected from the details of the security management infrastructures of their organizations. The management of security resourc...
Tyrone Grandison, Marcel Bilger, L. O'Connor, M. G...