2748 search results - page 412 / 550 » Generating Object-Z Specifications from Use Cases |
101
Voted
IWMM
2000
Springer
15 years 7 months ago
2000
Springer
Dynamic storage allocation continues to play an important role in the performance and correctness of systems ranging from user productivity software to high-performance servers. W...
151
Voted
POPL
2000
ACM
15 years 7 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
121
Voted
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Recently, there has been increasing interests in applying aspect models (e.g., PLSA and LDA) in image segmentation. However, these models ignore spatial relationships amo...
136
Voted
ARC
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper presents a real time parallel hardware architecture for image feature detection based on the SIFT (Scale Invariant Feature Transform) algorithm. This architect...
128
Voted
APSCC
2006
IEEE
15 years 5 months ago
2006
IEEE
Detecting intrusions at host level is vital to protecting shared resources in grid, but traditional Host-based Intrusion Detecting System (HIDS) is not suitable for grid environme...