71 search results - page 10 / 15 » Two Complementary Tools for the Formal Testing of Distribute... |
160
click to vote
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
Continuous time-series sequence matching, specifically, matching a numeric live stream against a set of predefined pattern sequences, is critical for domains ranging from fire spr...
118
Voted
COMCOM
2000
15 years 3 months ago
2000
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
118
Voted
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
Prior distributions are useful for robust low-level vision, and undirected models (e.g. Markov Random Fields) have become a central tool for this purpose. Though sometimes these p...
125
Voted
EUROPAR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In this paper, we address two key trends in the synthesis of implementations for embedded multiprocessors — (1) the increasing importance of managing interprocessor com...
143
Voted
SACMAT
2003
ACM
15 years 8 months ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...