15253 search results - page 2865 / 3051 » Integer-Programming Software Systems |
133
click to vote
TCS
2010
15 years 1 months ago
2010
Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical consistency easily. This paper focus...
127
click to vote
TSE
2010
15 years 1 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
158
click to vote
TVCG
2010
15 years 1 months ago
2010
—With the proliferation of motion capture data, interest in removing noise and outliers from motion capture data has increased. In this paper, we introduce an efficient human mo...
118
click to vote
ANCS
2010
ACM
15 years 1 months ago
2010
ACM
The Internet is witnessing explosive growth in traffic due to bulk content transfers, such as multimedia and software downloads, and online sharing of personal, commercial, and sc...
137
click to vote
ATVA
2010
Springer
15 years 1 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...