2409 search results - page 356 / 482 » Logical systems for structured specifications |
140
click to vote
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
While there is an increasing need to share data that may contain personal information, such data sharing must preserve individual privacy without disclosing any identifiable infor...
198
click to vote
PTS
2003
15 years 7 months ago
2003
UML models focus primarily on the definition of system structure and behaviour, but provide only limited means for describing test objectives and test procedures. However, with the...
194
click to vote
DEBU
2002
15 years 6 months ago
2002
Spatio-temporal databases store information about the positions of individual objects over time. In many applications however, such as traffic supervision or mobile communication ...
173
click to vote
SRDS
2010
IEEE
15 years 4 months ago
2010
IEEE
Virtual machine (VM) introspection is a powerful technique for determining the specific aspects of guest VM execution from outside the VM. Unfortunately, existing introspection so...
164
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
We study the problem of context-sensitive ranking for document retrieval, where a context is defined as a sub-collection of documents, and is specified by queries provided by do...