Sciweavers

583 search results - page 57 / 117
» Concurrency control for distributed cooperative engineering ...
Sort
View
ICSM
2006
IEEE
14 years 1 months ago
Model-Based Testing of Community-Driven Open-Source GUI Applications
Although the world-wide-web (WWW) has significantly enhanced open-source software (OSS) development, it has also created new challenges for quality assurance (QA), especially for...
Qing Xie, Atif M. Memon
HPCS
2005
IEEE
14 years 1 months ago
A Lightweight, Scalable Grid Computing Framework for Parallel Bioinformatics Applications
Abstract— In recent years our society has witnessed an unprecedented growth in computing power available to tackle important problems in science, engineering and medicine. For ex...
Hans De Sterck, Rob S. Markel, Rob Knight
ISORC
2005
IEEE
14 years 1 months ago
Automated Model Checking and Testing for Composite Web Services
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C...
SMC
2007
IEEE
136views Control Systems» more  SMC 2007»
14 years 2 months ago
Experimental implementation and validation of consensus algorithms on a mobile actuator and sensor network platform
— In this paper, we experimentally implement and validate distributed consensus algorithms on a mobile actuator and sensor network platform under directed, possibly switching int...
Wei Ren, Haiyang Chao, William Bourgeous, Nathan S...
EMSOFT
2010
Springer
13 years 5 months ago
Modeling buffers with data refresh semantics in automotive architectures
Automotive architectures consist of multiple electronic control units (ECUs) which run distributed control applications. Such ECUs are connected to sensors and actuators and commu...
Linh Thi Xuan Phan, Reinhard Schneider, Samarjit C...