Sciweavers

4350 search results - page 308 / 870
» Case studies for contract-based systems
Sort
View
HCI
2009
15 years 4 months ago
Behavior-Sensitive User Interfaces for Smart Environments
In smart environments interactive assistants can support the user's daily life by being ubiquitously available through any interaction device that is connected to the network....
Veit Schwartze, Sebastian Feuerstack, Sahin Albayr...
IGARSS
2009
15 years 4 months ago
Comparison of Precipitation Effects in Space-borne X- and Ka-band SAR Imaging
As the operating frequencies of SAR-systems are increasing, the visible distortions due to precipitation in SAR-images are becoming more frequent. This holds especially for the ca...
Andreas Danklmayer, Madhu Chandra
HCI
2011
14 years 10 months ago
Proposal of BCM Evaluation Method Based on Disaster Scenario Simulation
Almost 20% of big earthquakes in the world occur in Japan. It becomes impossible for private companies and governments to carry out their business if they suffer from severe damage...
Ryuhei Kaneko, Yoshio Nakatani
ICSM
2007
IEEE
16 years 1 months ago
Applying Interface-Contract Mutation in Regression Testing of Component-Based Software
Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use...
Shan-Shan Hou, Lu Zhang, Tao Xie, Hong Mei, Jiasu ...
ARC
2009
Springer
127views Hardware» more  ARC 2009»
15 years 10 months ago
Parametric Design for Reconfigurable Software-Defined Radio
Run-time reconfigurable FPGAs are powerful platforms for realising software-defined radio systems. This paper introduces a parametric approach to designing such systems based on ap...
Tobias Becker, Wayne Luk, Peter Y. K. Cheung