Sciweavers

1992 search results - page 160 / 399
» Model Based Testing with Labelled Transition Systems
Sort
View
APN
2008
Springer
15 years 5 months ago
Hierarchical Set Decision Diagrams and Automatic Saturation
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon
WWW
2006
ACM
16 years 4 months ago
Proposal of integrated search engine of web and TV contents
A search engine that can handle TV programs and Web content in an integrated way is proposed. Conventional search engines have been able to handle Web content and/or data stored i...
Hisashi Miyamori, Mitsuru Minakuchi, Zoran Stejic,...
147
Voted
BROADNETS
2006
IEEE
15 years 9 months ago
Intra and Interdomain Circuit Provisioning Using the OSCARS Reservation System
— With the advent of service sensitive applications such as remote controlled experiments, time constrained massive data transfers, and video-conferencing, it has become apparent...
Chin Guok, David W. Robertson, Mary R. Thompson, J...
ICIP
2005
IEEE
16 years 5 months ago
A man-machine communication system based on the visual analysis of dynamic gestures
A perceptual human-machine interface based on visual appearence of hand movements is presented. Gestures are defined as the temporal evolution of 3D poses the of user's hand....
Giulia Gastaldi, Alessandro Pareschi, Silvio P. Sa...
128
Voted
ICST
2010
IEEE
15 years 2 months ago
Fault Detection Likelihood of Test Sequence Length
— Testing of graphical user interfaces is important due to its potential to reveal faults in operation and performance of the system under consideration. Most existing test appro...
Fevzi Belli, Michael Linschulte, Christof J. Budni...