7106 search results - page 1405 / 1422 » Restricted Complexity, General Complexity |
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
The transfer of entire projects to offshore locations, the aging and renewal of core developers in legacy products, the recruiting in fast growing Internet companies, and the part...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
Delivering increasingly complex software-reliant systems demands better ways to manage the long-term effects of shortterm expedients. The technical debt metaphor is gaining signif...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...
USS
2010
13 years 6 months ago
2010
On November 3, 2009, voters in Takoma Park, Maryland, cast ballots for mayor and city council members using the ScantegrityII voting system--the first time any end-to-end (e2e) vo...
DLOG
2009
13 years 6 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...