18769 search results - page 374 / 3754 » Requirements Models in Context |
333
click to vote
POPL
2005
ACM
16 years 8 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
220
click to vote
IPPS
1999
IEEE
15 years 12 months ago
1999
IEEE
The rapid progress in high-performance microprocessor design has made it di cult to adapt real-time scheduling results to new models of microprocessor hardware, thus leaving an un...
294
click to vote
PAMI
2012
13 years 10 months ago
2012
—Social media networks contain both content and context-specific information. Most existing methods work with either of the two for the purpose of multimedia mining and retrieva...
198
click to vote
CCS
2003
ACM
16 years 26 days ago
2003
ACM
Many network intrusion detection systems (NIDS) use byte sequences as signatures to detect malicious activity. While being highly efficient, they tend to suffer from a high false...
235
click to vote
CONTEXT
2003
Springer
16 years 26 days ago
2003
Springer
Abstract. The knowledge representation tradition in computational lexicon design represents words as static encapsulations of purely lexical knowledge. We suggest that this view po...