9018 search results - page 271 / 1804 » 3D-Brain Model Software |
127
click to vote
ESEM
2009
ACM
15 years 11 months ago
2009
ACM
Despite the critical role of software modifiability, it has no universally accepted measurement model. Measuring modifiability in terms of maintenance effort is problematic becaus...
133
click to vote
ICSEA
2006
IEEE
15 years 10 months ago
2006
IEEE
— It is through our mental models of the world that we understand it. Advances in science are nothing more than improvements to the model. This paper presents the development and...
144
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Previous symbolic software model checkers (i.e., program analysis tools based on predicate abstraction, pushdown model checkiterative counterexample-guided abstraction refinement, ...
228
click to vote
ICSM
2000
IEEE
15 years 9 months ago
2000
IEEE
Software has for a long time been used for controlling different systems. Today, there is a trend towards integrating software into consumer electronics, home appliances, cars etc...
129
click to vote
ENTCS
2007
15 years 4 months ago
2007
Composing and orchestrating software components is a fundamental concern in modern software engineering. This paper addresses the possibility of such orchestration being dynamic, ...