1078 search results - page 196 / 216 » Modelling and Verifying of e-Commerce Systems |
185
click to vote
SIGIR
2012
ACM
13 years 4 months ago
2012
ACM
Many private and/or public organizations have been reported to create and monitor targeted Twitter streams to collect and understand users’ opinions about the organizations. Tar...
120
Voted
HYBRID
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...
146
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
125
click to vote
IJCV
2002
15 years 1 months ago
2002
Current vision systems are designed to perform in clear weather. Needless to say, in any outdoor application, there is no escape from "bad" weather. Ultimately, computer ...
202
Voted
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
Supporting ranking queries in database systems has been a popular research topic recently. However, there is a lack of study on supporting ranking queries in data warehouses where...