Sciweavers

200 search results - page 3 / 40
» Improving evolutionary real-time testing
Sort
View
ASIAN
2006
Springer
140views Algorithms» more  ASIAN 2006»
13 years 8 months ago
Modeling Urgency in Component-Based Real-Time Systems
A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algo...
Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa
JUCS
2006
109views more  JUCS 2006»
13 years 4 months ago
Verifying Real-Time Properties of tccp Programs
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
María Alpuente, María-del-Mar Gallar...
CGVR
2006
13 years 6 months ago
Remote Move-Related Operation Awareness in Real-Time Internet-Based Collaborative Graphics Design Systems
Supporting awareness of other cooperators is an idea that holds promise for improving the usability of real-time distributed collaborative graphics design systems. However, networ...
Bo Jiang, Jianxv Yang
DSRT
2008
IEEE
13 years 11 months ago
Observability Checking to Enhance Diagnosis of Real Time Electronic Systems
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
Manel Khlif, Mohamed Shawky
WETICE
2006
IEEE
13 years 11 months ago
A Hybrid P2P Protocol for Real-Time Collaboration
Peer-to-Peer architecture is currently an attractive solution for facilitating the use of collaboration software without any server. Multicasting is usually proposed for group com...
Dewan Tanvir Ahmed, Shervin Shirmohammadi