837 search results - page 72 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
IJCIS
2006
13 years 9 months ago
2006
of modern businesses, separation of concern mechanisms and abstractions are needed. iven development (MDD) approaches utilize abstraction and transformation to handle ty. In MDD, s...
CSREAPSC
2006
13 years 10 months ago
2006
- Real-time speaker verification, with speech acquired using the NIST Mk-III microphone array and an autodirective beamforming algorithm, is demonstrated. The software and hardware...
IJHPCA
2008
13 years 9 months ago
2008
Many Grid applications involve combining computational and data access components into complex workflows. A distinction is generally made between mechanisms to compose components ...
AH
2006
Springer
14 years 3 months ago
2006
Springer
As applications evolve over time, it becomes increasingly desirable to be able to adapt a system, enabling it to handle situations in different ways and to handle new situations. W...
TCS
2008
13 years 9 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...