1559 search results - page 59 / 312 » Software needs engineering: a position paper |
131
Voted
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...
114
Voted
IEEESCC
2008
IEEE
15 years 10 months ago
2008
IEEE
Enterprise IT environments are complex: business applications rely on distributed middleware running on diverse hardware with components depending on each other in many unexpected...
138
Voted
DFG
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
156
click to vote
ACSC
2000
IEEE
15 years 7 months ago
2000
IEEE
Information retrieval systems can be partitioned into two main classes: large-scale systems that make use of an inverted index or some other auxiliary data structure, intended for...
128
click to vote
CSSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Embedded systems have been used widely promoted by the advancement of semiconductor technology. This also makes embedded system education a challenge for the universities. The cur...