6187 search results - page 960 / 1238 » Practical Software Measurement |
105
click to vote
FMCAD
2009
Springer
15 years 11 months ago
2009
Springer
stractions for Floating-Point Arithmetic Angelo Brillout Computer Systems Institute, ETH Zurich Daniel Kroening and Thomas Wahl Oxford University Computing Laboratory Abstract—Fl...
126
click to vote
ICMT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Model-driven software development often involves several related models. When models are updated, the updates need to be propagated across all models to make them consist...
149
click to vote
ISEUD
2009
Springer
15 years 11 months ago
2009
Springer
Companies are operating in a dynamic environment, resulting in a continuous need of adapting used information systems to changing business processes and associated information need...
127
click to vote
VRST
2009
ACM
15 years 11 months ago
2009
ACM
We propose a novel wearable imaging system that can capture omnidirectional movies from the viewpoint of the camera wearer. The imaging system solves the problems of resolution un...
140
click to vote
ACSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
Users commonly download, patch, and use applications such as email clients, office applications, and media-players from the Internet. Such applications are run with the user’s ...