3172 search results - page 66 / 635 » Combining Specification Techniques for Processes, Data and T... |
174
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
162
click to vote
PVLDB
2008
15 years 5 months ago
2008
The last decade has witnessed a tremendous growths of interests in applications that deal with querying and mining of time series data. Numerous representation methods for dimensi...
201
click to vote
VLDB
2010
ACM
15 years 4 months ago
2010
ACM
According to the database outsourcing model, a data owner delegates database functionality to a thirdparty service provider, which answers queries received from clients. Authentic...
161
click to vote
VLDB
2001
ACM
15 years 10 months ago
2001
ACM
In recent years, several methods have been proposed for implementing interactive similarity queries on multimedia databases. Common to all these methods is the idea to exploit use...
124
click to vote
ITC
1997
IEEE
15 years 10 months ago
1997
IEEE
The detection of cell stability and data retention faults in SRAMs has been a time consuming process. In this paper we discuss a new design for test technique called Weak Write Tes...