4350 search results - page 408 / 870 » Case studies for contract-based systems |
189
click to vote
JAR
2008
15 years 6 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
188
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
Assumptions are frequently made during requirements analysis of a system about the trustworthiness of its various components (including human components). These trust assumptions, ...
200
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
---------------------------------------------------ABSTRACT-----------------------------------------------In the literature of Round-Robin scheduling scheme, each job is processed,...
165
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper studies the convergence of a fixed point iteration algorithm for the problem of max-min signal-to-interference ratio (SIR) balancing. Differently from the existing wor...
249
click to vote
SOFTVIS
2010
ACM
15 years 4 months ago
2010
ACM
Large clusters of mutual dependence have long been regarded as a problem impeding comprehension, testing, maintenance, and reverse engineering. An effective visualization can aid ...