3679 search results - page 662 / 736 » Answer set based design of knowledge systems |
134
Voted
NCA
2005
IEEE
15 years 9 months ago
2005
IEEE
Traditional client-server content distribution techniques usually suffer from scalability problems when dealing with large client population or sizable content. The advent of peer...
121
click to vote
JCDL
2005
ACM
15 years 9 months ago
2005
ACM
This research assessed the effectiveness of selected interface tools in helping people respond to classic information tasks with webcasts. Rather than focus on a classic search/br...
130
Voted
FASE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
103
click to vote
KIVS
2005
Springer
15 years 9 months ago
2005
Springer
: Almost all current P2P applications are built as monolithic systems: they tightly couple application software with an underlying P2P technology. For simple P2P applications like ...
145
Voted
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...