7904 search results - page 1339 / 1581 » Sequence Query Processing |
163
click to vote
ISOLA
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
233
click to vote
IWCM
2004
Springer
16 years 2 days ago
2004
Springer
We present a probabilistic framework for component-based automatic detection and tracking of objects in video. We represent objects as spatio-temporal two-layer graphical models, w...
186
Voted
POLICY
2004
Springer
16 years 1 days ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
197
click to vote
UML
2004
Springer
16 years 1 days ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
186
click to vote
UML
2004
Springer
16 years 1 days ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...