Sciweavers

9518 search results - page 1762 / 1904
» On Mobility of Software Processes
Sort
View
ASPDAC
2010
ACM
233views Hardware» more  ASPDAC 2010»
13 years 8 months ago
Computer-aided recoding for multi-core systems
- The design of embedded computing systems faces a serious productivity gap due to the increasing complexity of their hardware and software components. One solution to address this...
Rainer Dömer
ECBS
2010
IEEE
200views Hardware» more  ECBS 2010»
13 years 8 months ago
Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces
Software development and testing of Enterprise Resource Planning (ERP) systems demands dedicated methods to tackle its special features. As manual testing is not able to systematic...
Sebastian Wieczorek, Alin Stefanescu
PDPTA
2010
13 years 8 months ago
A Case Study for SOA System Rejuvenation
- Complex business service systems, such as SOA system, are prone to suffer from reliability problem. Various legend applications compatible in SOA system make things worse. Softwa...
Guanhua Tian, Jianfeng Zhan, Chao Ren, Dan Meng
REALWSN
2010
13 years 8 months ago
Location Based Wireless Sensor Services in Life Science Automation
Over the last years Wireless Sensor Networks (WSN) have been becoming increasingly applicable for real world scenarios and now production ready solutions are available. In the same...
Benjamin Wagner, Philipp Gorski, Frank Golatowski,...
TACAS
2010
Springer
160views Algorithms» more  TACAS 2010»
13 years 8 months ago
Efficient Detection of Errors in Java Components Using Random Environment and Restarts
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
Pavel Parizek, Tomás Kalibera
« Prev « First page 1762 / 1904 Last » Next »