1276 search results - page 231 / 256 » Views, change and changing views |
VMCAI
2004
Springer
15 years 3 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
Increasing health care costs put a great strain on national economies. In recent years there have been several national and regional research and development projects in Finland a...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
There are many studies in Information Systems on the adoption of new innovations. This paper, on the other hand, presents the findings of an empirical study, which explores factor...
RTAS
2003
IEEE
15 years 2 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
117
click to vote
MOBICOM
2003
ACM
15 years 2 months ago
2003
ACM
Significant TCP unfairness in ad hoc wireless networks has been reported during the past several years. This unfairness results from the nature of the shared wireless medium and ...