3425 search results - page 513 / 685 » A Model Driven Approach for Software Systems Reliability |
129
Voted
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
136
Voted
VEE
2009
ACM
15 years 10 months ago
2009
ACM
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...
127
Voted
AVI
2008
15 years 6 months ago
2008
The development of intelligent assistants has largely benefited from the adoption of decision-theoretic (DT) approaches that enable an agent to reason and account for the uncertai...
134
Voted
WSE
2006
IEEE
15 years 9 months ago
2006
IEEE
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models ...
152
Voted
ICIP
2004
IEEE
16 years 5 months ago
2004
IEEE
Motion segmentation is a classic and on-going research topic which is an important pre-stage for many video processes. The reliability of the motion field calculation directly dete...