443 search results - page 17 / 89 » A System Development Process with Event-B and the Rodin Plat... |
PVLDB
2008
13 years 6 months ago
2008
Our previous work has shown that architectural and application shifts have resulted in modern OLTP databases increasingly falling short of optimal performance [10]. In particular,...
DATE
2002
IEEE
13 years 11 months ago
2002
IEEE
We present a design method (HASoC) for the lifecycle modelling of embedded systems that are targeted primarily, but not necessarily, at SoC implementations. The object-oriented de...
ICIP
2005
IEEE
14 years 8 months ago
2005
IEEE
This paper describes an efficient pedestrian detection system for videos acquired from moving platforms. Given a detected and tracked object as a sequence of images within a bound...
COMPUTER
2010
13 years 4 months ago
2010
Computational finance leverages computer technologies to build models from large amounts of data to extract insight. In today's networked world, the amount of data available t...
WWW
2003
ACM
14 years 7 months ago
2003
ACM
Hypermedia systems and more specifically open hypermedia systems (OHS) provide a rich set of implementations of different hypertext flavors such as navigational hypertext, spatial...