10038 search results - page 1917 / 2008 » Model Checking for Managers |
173
Voted
COOPIS
2004
IEEE
15 years 4 months ago
2004
IEEE
Large scale distributed real time and embedded (DRE) applications are complex entities that are often composed of different subsystems and have stringent Quality of Service (QoS) r...
114
Voted
CSFW
2004
IEEE
15 years 4 months ago
2004
IEEE
Workflow management systems (WFMSs) have attracted a lot of interest both in academia and the business community. A workflow consists of a collection of tasks that are organized t...
129
Voted
CIKM
2006
Springer
15 years 4 months ago
2006
Springer
It is important yet hard to identify navigational queries in Web search due to a lack of sufficient information in Web queries, which are typically very short. In this paper we st...
120
Voted
CIKM
2006
Springer
15 years 4 months ago
2006
Springer
We discuss information retrieval methods that aim at serving a diverse stream of user queries such as those submitted to commercial search engines. We propose methods that emphasi...
110
Voted
EUROCRYPT
2004
Springer
15 years 4 months ago
2004
Springer
We introduce Ad Hoc Anonymous Identification schemes, a new multi-user cryptographic primitive that allows participants from a user population to form ad hoc groups, and then prove...