Sciweavers

415 search results - page 36 / 83
» Testing Component-Based Real Time Systems
Sort
View
HASE
2008
IEEE
13 years 8 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
JIT
2004
Springer
131views Database» more  JIT 2004»
14 years 2 months ago
Testing of Service-Oriented Architectures - A Practical Approach
Service Oriented Architectures (SOAs) have recently emerged as a new promising paradigm for supporting distributed computing. Web services, as well as integration-packages relying ...
Schahram Dustdar, Stephan Haslinger
ICMCS
2008
IEEE
167views Multimedia» more  ICMCS 2008»
14 years 3 months ago
Statistical processing of video for detection of events in space and time
Recently, advanced video processing systems have been developed for numerous applications, such as surveillance, tracking, monitoring, object and event detection. The large size o...
Alexia Briassouli, Ioannis Kompatsiaris
ISDA
2008
IEEE
14 years 3 months ago
Genetic Annealing Optimization: Design and Real World Applications
Both simulated annealing (SA) and the genetic algorithms (GA) are stochastic and derivative-free optimization technique. SA operates on one solution at a time, while the GA mainta...
Mostafa A. El-Hosseini, Aboul Ella Hassanien, Ajit...
HCI
2007
13 years 10 months ago
Differences in Task Descriptions in the Think Aloud Test
This paper analyzes and discusses the ways tasks are described and perceived in a remote Think Aloud (TA) usability tests session. The paper includes reports from a study and the p...
Lene Nielsen, Sameer Chavan