3425 search results - page 513 / 685 » A Model Driven Approach for Software Systems Reliability |
168
click to vote
FOSSACS
2005
Springer
16 years 18 min 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 ...
170
click to vote
VEE
2009
ACM
16 years 1 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...
162
click to vote
AVI
2008
15 years 8 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...
170
click to vote
WSE
2006
IEEE
16 years 14 days 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 ...
201
click to vote
ICIP
2004
IEEE
16 years 8 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...