6608 search results - page 1049 / 1322 » On the Completeness of Model Checking |
150
click to vote
NLDB
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The increasing flow of digital information requires the extraction, filtering and classification of pertinent information from large volumes of texts. An important pre...
155
click to vote
IUI
2004
ACM
16 years 3 days ago
2004
ACM
In many practical scenarios, users are faced with the problem of choosing the most preferred outcome from a large set of possibilities. As people are unable to sift through them m...
199
click to vote
BIRTHDAY
2004
Springer
16 years 2 days ago
2004
Springer
This paper presents a new model for mobile processes in occam-π. A process, embedded anywhere in a dynamically evolving network, may suspend itself mid-execution, be safely discon...
178
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
We consider the following scheduling problem. The input is a set of jobs with equal processing times, where each job is specified by its release time and deadline. The goal is to ...
200
click to vote
POLICY
2004
Springer
16 years 20 hour ago
2004
Springer
Policy Based Management (PBM) is a research topic that has been driven by the tremendous complexity inherent in the administration and management of present-day networking and tel...