Sciweavers

1448 search results - page 129 / 290
» From Requirements to Code Revisited
Sort
View
EMSOFT
2005
Springer
15 years 9 months ago
Model-based run-time monitoring of end-to-end deadlines
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
Jaswinder Ahluwalia, Ingolf H. Krüger, Walter...
WIKIS
2005
ACM
15 years 9 months ago
WikiWiki weaving heterogeneous software artifacts
Good documentation benefits every software development project, especially large ones, but it can be hard, costly, and tiresome to produce when not supported by appropriate tools...
Ademar Aguiar, Gabriel David
ISCAS
2002
IEEE
89views Hardware» more  ISCAS 2002»
15 years 9 months ago
Seamless switching of scalable video bitstreams for efficient streaming
—Efficient adaptation to channel bandwidth is broadly required for effective streaming video over the Internet. To address this requirement, a novel seamless switching scheme amo...
Xiaoyan Sun, Feng Wu, Shipeng Li, Wen Gao, Ya-Qin ...
GG
2008
Springer
15 years 5 months ago
Transformation-Based Operationalization of Graph Languages
Graph Languages1 emerged during the seventies from the necessity to process data structures with complex interrelations. Nowadays, various variants of these languages can be found...
Erhard Weinell
139
Voted
ISSRE
2010
IEEE
15 years 2 months ago
Characterizing Failures in Mobile OSes: A Case Study with Android and Symbian
Abstract—As smart phones grow in popularity, manufacturers are in a race to pack an increasingly rich set of features into these tiny devices. This brings additional complexity i...
Amiya Kumar Maji, Kangli Hao, Salmin Sultana, Saur...