6608 search results - page 1043 / 1322 » On the Completeness of Model Checking |
174
Voted
MIDDLEWARE
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Epidemic protocols have demonstrated remarkable scalability and robustness in disseminating information on internet-scale, dynamic P2P systems. However, popular instances...
176
Voted
MLMI
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Decision making is an important aspect of meetings in organisational settings, and archives of meeting recordings constitute a valuable source of information about the de...
163
click to vote
MODELS
2007
Springer
16 years 24 days ago
2007
Springer
Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e....
189
click to vote
NLDB
2007
Springer
16 years 24 days ago
2007
Springer
Most of Information Retrieval (IR) systems are still based on bag of word paradigm. This is a strong limitation if one needs high precision answers. For example, in restricted doma...
138
click to vote
SEMWEB
2007
Springer
16 years 24 days ago
2007
Springer
As more and more reusable structured data appears on the Web, casual users will want to take into their own hands the task of mashing up data rather than wait for mash-up sites to ...