827 search results - page 74 / 166 » Patterns for Timed Property Specifications |
220
click to vote
VLDB
2003
ACM
16 years 3 months ago
2003
ACM
We enunciate the need for watermarking database relations to deter data piracy, identify the characteristics of relational data that pose unique challenges for watermarking, and de...
129
click to vote
CCR
2004
15 years 3 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
148
click to vote
ACMICEC
2004
ACM
15 years 8 months ago
2004
ACM
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
128
click to vote
ACMACE
2006
ACM
15 years 9 months ago
2006
ACM
Massively multiplayer online computer games are played in complex, persistent virtual worlds. Over time, the landscape of these worlds evolves and changes as players create and pe...
128
click to vote
RECOMB
2007
Springer
16 years 3 months ago
2007
Springer
Our group has recently developed a compact, universal protein binding microarray (PBM) that can be used to determine the binding preferences of transcription factors (TFs) [1]. Thi...