5550 search results - page 888 / 1110 » Different Approaches to Proof Systems |
181
click to vote
MLMI
2005
Springer
16 years 6 days ago
2005
Springer
Combining multiple information sources, typically from several data streams is a very promising approach, both in experiments and to some extents in various real-life applications....
195
click to vote
WSC
1997
15 years 8 months ago
1997
Modeling and simulation of very large systems introduces a number of issues that are not seen in the modeling of simpler systems. These arise because the resource requirements for...
205
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
Users and administrators of large distributed systems are frequently in need of monitoring and management of its various components, data items and resources. Though there exist s...
187
click to vote
ICDCS
2009
IEEE
16 years 1 months ago
2009
IEEE
Though plenty of research has been conducted to improve Internet P2P streaming quality perceived by endusers, little has been known about the upper bounds of achievable performanc...
182
click to vote
CODES
2005
IEEE
16 years 10 days ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...