3425 search results - page 483 / 685 » A Model Driven Approach for Software Systems Reliability |
149
click to vote
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
150
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considerin...
107
Voted
HCI
2009
15 years 1 months ago
2009
In complex human-machine systems, the human operator is often required to intervene to detect and solve problems. Given this increased reliance on the human in these critical human...
135
click to vote
CVPR
2003
IEEE
16 years 6 months ago
2003
IEEE
This paper introduces a practical approach for superresolution, the process of reconstructing a high-resolution image from the low-resolution input ones. The emphasis of our work ...
158
click to vote
CMG
2003
15 years 5 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...