10038 search results - page 1641 / 2008 » Model Checking for Managers |
200
click to vote
WSDM
2012
ACM
14 years 2 months ago
2012
ACM
One of the key objectives of viral marketing is to identify a small set of users in a social network, who when convinced to adopt a product will influence others in the network l...
192
click to vote
ANLP
1994
15 years 8 months ago
1994
FoG currently produces bilingual marine and public weather forecasts at several Canadian weather offices. The system is engineered to reflect "good professional style" a...
296
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
The management of privacy and security in the context of data stream management systems (DSMS) remains largely an unaddressed problem to date. Unlike in traditional DBMSs where acc...
196
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
This paper describes a novel approach for obtaining semantic interoperability among data sources in a bottom-up, semiautomatic manner without relying on pre-existing, global seman...
183
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
The simplicity of the basic client/server model of Web services led quickly to its widespread adoption, but also to scalability and performance problems. The technological respons...