1370 search results - page 154 / 274 » Metacase Tools for Multidimensional Development of Informati... |
125
Voted
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
Most current software systems contain undocumented high-level ideas implemented across multiple files and modules. When developers perform program maintenance tasks, they often wa...
122
Voted
SOSP
2003
ACM
16 years 13 days ago
2003
ACM
Many interesting large-scale systems are distributed systems of multiple communicating components. Such systems can be very hard to debug, especially when they exhibit poor perfor...
134
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
142
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: The large gap between the number of protein sequences in databases and the number of functionally characterized proteins calls for the development of a fast computatio...
149
Voted
IEEESCC
2005
IEEE
15 years 9 months ago
2005
IEEE
The web service is a main working pattern and a significant application model for next generation Internet application. The service-oriented architecture is a very promising archi...