2036 search results - page 48 / 408 » A generic type-and-effect system |
102
Voted
SIGMOD
2003
ACM
16 years 21 days ago
2003
ACM
Model management aims at reducing the amount of programming needed for the development of metadata-intensive applications. We present a first complete prototype of a generic model...
ATVA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
ITC
2003
IEEE
15 years 5 months ago
2003
IEEE
– It is well known that the output signals measured by an automatic test equipment (ATE) system are not only due to the device-under-test (DUT), but also due to the test path. Fo...
132
Voted
VISUAL
1999
Springer
15 years 4 months ago
1999
Springer
The FRAMES project is developing a system for video database search, content-based retrieval, and virtual video program synthesis. For dynamic synthesis applications, a video progr...
86
Voted
SIGADA
1998
Springer
15 years 4 months ago
1998
Springer
Despite substantial research on methods and tools for testing reusable modules, little help is available for the tester in the eld. Commercial tools for system testing are widely ...