827 search results - page 22 / 166 » Patterns for Timed Property Specifications |
102
Voted
AAAI
2010
15 years 3 months ago
2010
It is often desirable to extract structured information from raw web pages for better information browsing, query answering, and pattern mining. Many such Information Extraction (...
124
Voted
ISSS
1999
IEEE
15 years 6 months ago
1999
IEEE
In order to cope with the ever increasing complexity of todays application specific integrated circuits, a building block based design methodology is established. The system is co...
124
Voted
FDL
2006
IEEE
15 years 8 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
125
click to vote
FOCS
2000
IEEE
15 years 5 months ago
2000
IEEE
In this paper we consider a quantum computational variant of nondeterminism based on the notion of a quantum proof, which is a quantum state that plays a role similar to a certifi...
113
Voted
PODC
2011
ACM
14 years 4 months ago
2011
ACM
: Analyzing Consistency Properties for Fun and Profit Wojciech Golab, Xiaozhou Li, Mehul A. Shah HP Laboratories HPL-2011-6 data consistency, algorightms, key-value stores Moti...