2127 search results - page 220 / 426 » Software Automation |
181
click to vote
RTS
2010
15 years 4 months ago
2010
The current practice to design software for real-time systems is tedious. There is almost no tool support that assists the designer in automatically deriving safe bounds of the wor...
141
click to vote
JODL
2007
15 years 6 months ago
2007
: The Florida Digital Archive is a long-term digital preservation repository for the use of the libraries of the public universities of Florida. It is managed by the Florida Center...
169
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
: © Reiki: Serviceability Architecture and Approach for Reduction and Management of Product Service Incidents Chris Connelly, Brian Cox, Tim Forell, Rui Liu, Dejan Milojicic, Alan...
139
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Automated localization of software bugs is one of the essential issues in debugging aids. Previous studies indicated that the evaluation history of program predicates may disclose...
162
click to vote
ITNG
2008
IEEE
16 years 27 days ago
2008
IEEE
We propose the characteristics of a software tool that leverages specifying attack pattern details in understandable hierarchies. These hierarchies are currently manually populate...