5550 search results - page 657 / 1110 » Different Approaches to Proof Systems |
225
click to vote
EUROMICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
207
click to vote
EDBT
2008
ACM
15 years 9 months ago
2008
ACM
A large class of applications require real-time processing of continuous stream data resulting in the development of data stream management systems (DSMS). Since many of these app...
223
click to vote
CMG
2003
15 years 8 months ago
2003
The queueing Petri net (QPN) paradigm provides a number of benefits over conventional modeling paradigms such as queueing networks and generalized stochastic Petri nets. Using qu...
197
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
246
click to vote
AVI
2010
15 years 8 months ago
2010
Content classification performed by end users is spreading through the web. Most of the work done so far is related to the hypermedia web. In spite of that, there is a growing mas...