860 search results - page 68 / 172 » A Process Algebra Based Verification of a Production System |
MM
2006
ACM
14 years 3 months ago
2006
ACM
This paper proposes the Metadata Production Framework (MPF) as a common platform for generating content-based metadata. A lot of research on extracting useful information from aud...
ISMAR
2005
IEEE
14 years 2 months ago
2005
IEEE
Computer Aided Design applications have become designers’ inevitable tools for expressing and simulating innovative ideas and concepts. However, replacing traditional materials ...
ICCAD
2008
IEEE
14 years 6 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
DAGSTUHL
2006
13 years 10 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
WORDS
2002
IEEE
14 years 1 months ago
2002
IEEE
Distributed programming is applicable in a wide range of domains such as control systems. These systems are subject to mutable environments and must also provide a time varying ad...