Sciweavers

4350 search results - page 16 / 870
» Case studies for contract-based systems
Sort
View
CSMR
2006
IEEE
14 years 3 months ago
A Metric of Confidence in Requirements Gathered from Legacy Systems: Two Industrial Case Studies
It is known that well over 50% of replacement projects fail. Requirements gathering go someway to contributing to this statistic; if the requirements we gather for the new system ...
James Marchant, Christos Tjortjis, Michael Turega
ACSD
2003
IEEE
159views Hardware» more  ACSD 2003»
14 years 3 months ago
Case Studies of Model Checking for Embedded System Designs
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
CASES
2006
ACM
14 years 3 months ago
Modeling heterogeneous SoCs with SystemC: a digital/MEMS case study
Designers of SoCs with non-digital components, such as analog or MEMS devices, can currently use high-level system design languages, such as SystemC, to model only the digital par...
Ankush Varma, Muhammad Yaqub Afridi, Akin Akturk, ...
ICSM
2007
IEEE
14 years 4 months ago
Release Pattern Discovery: A Case Study of Database Systems
Studying the release-time activities of a software project — that is, activities that occur around the time of a major or minor release — can provide insights into both the de...
Abram Hindle, Michael W. Godfrey, Richard C. Holt
ISM
2008
IEEE
176views Multimedia» more  ISM 2008»
14 years 4 months ago
BitTube: Case Study of a Web-Based Peer-Assisted Video-on-Demand System
Recent theoretical and simulation-based studies have confirmed the tremendous benefit of peer-to-peer (P2P) communication at reducing the cost of running a VoD service. To date,...
Bo Liu, Yi Cui, Bin Chang, Ben Gotow, Yuan Xue