Sciweavers

15253 search results - page 399 / 3051
» Integer-Programming Software Systems
Sort
View
LISA
1998
15 years 8 months ago
mkpkg: A software packaging tool
mkpkg is a tool that helps software publishers create installation packages. Given software that is ready for distribution, mkpkg helps the publisher develop a description of the ...
Carl Staelin
171
Voted
SIGSOFT
2010
ACM
15 years 4 months ago
Climate change: a grand software challenge
Software is a critical enabling technology in nearly all aspects of climate change, from the computational models used by climate scientists to improve our understanding of the im...
Steve M. Easterbrook
ICSEA
2006
IEEE
16 years 27 days ago
Assessing Impacts of Changes to Business Rules through Data Exploration
The benefits of impact analysis in the maintenance and evolution of software systems are well known, and many forms of impact analysis, over different software life cycle objects...
Suzanne M. Embury, David Willmor, Lei Dang
ICSE
2010
IEEE-ACM
15 years 11 months ago
Zenet: generating and enforcing real-time temporal invariants
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
Chris Lewis
184
Voted
EUROSYS
2007
ACM
15 years 10 months ago
Dynamic updates: another middleware service?
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...
Susanne Cech Previtali