Sciweavers

433 search results - page 24 / 87
» A Framework for Distributed Object-Oriented Testing
Sort
View
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
14 years 1 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
ICPR
2004
IEEE
14 years 8 months ago
Integration of Feature Distributions for Colour Texture Segmentation
This paper proposes a new framework for colour texture segmentation and determines the contribution of colour and texture. The distributions of colour and texture features provide...
Padmapriya Nammalwar, Ovidiu Ghita, Paul F. Whelan
SSR
2001
73views more  SSR 2001»
13 years 9 months ago
XML implementation of frame processor
A quantitative study has shown that frame technology [1] supported by Fusion toolset can lead to reduction in time-tomarket (70%) and project costs (84%). Frame technology has bee...
Tak Wong, Stan Jarzabek, Soe Myat Swe, Ru Shen, Ho...
PTS
2003
127views Hardware» more  PTS 2003»
13 years 9 months ago
An Automata-Based Approach to Property Testing in Event Traces
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Ale...
FMOODS
2007
13 years 9 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...