4666 search results - page 774 / 934 » Equations on Timed Languages |
118
Voted
ERLANG
2006
ACM
15 years 10 months ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
153
click to vote
AINA
2005
IEEE
15 years 9 months ago
2005
IEEE
Many existing software applications involve complex application layer implemented in OO programming languages and at the same time use relational database systems as back-end data...
124
click to vote
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
Nested loops are the most critical sections in many scientific and Digital Signal Processing (DSP) applications. It is important to study effective and efficient transformation ...
140
click to vote
DEXAW
2005
IEEE
15 years 9 months ago
2005
IEEE
Ontologies provide a means of modelling and representing a knowledge domain. Such representation, already used in purpose-built distributed information systems, can also be of gre...
133
click to vote
ICDAR
2005
IEEE
15 years 9 months ago
2005
IEEE
An overview of research in automated gesture spotting, tracking and recognition by the Image and Video Computing Group at Boston University is given. Approaches for localization a...