5550 search results - page 378 / 1110 » Different Approaches to Proof Systems |
186
click to vote
AOSE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
142
click to vote
DSS
2007
15 years 6 months ago
2007
As modern software-based systems and applications gain in versatility and functionality, the ability to manage inconsistent resources and service disparate user requirements becom...
274
click to vote
SIES
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
194
click to vote
ECRTS
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper presents a time-aware admission control and resource allocation scheme in the context of a future generation mobile network. The quality levels (and their respective ut...
161
click to vote
RTSS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we present the first end-to-end fairness analysis of a network of fair servers. We argue that it is difficult to extend existing single-node fairness analysis to ...