4250 search results - page 389 / 850 » Understanding the Requirements on Modelling Techniques |
214
click to vote
ISPASS
2006
IEEE
16 years 27 days ago
2006
IEEE
Applications in Computer Networks often require high throughput access to large data structures for lookup and classification. Many advanced algorithms exist to speed these searc...
179
click to vote
CAISE
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. Modern process-aware information systems store detailed information about processes as they are being executed. This kind of information can be used for very different p...
232
click to vote
SDL
2007
15 years 8 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
205
click to vote
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper revisits the classical problem of detecting interest points, popularly known as "corners," in 2D images by proposing a technique based on fitting algebraic sh...
290
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
As more sensitive data is captured in electronic form, security becomes more and more important. Data encryption is the main technique for achieving security. While in the past en...