13137 search results - page 2348 / 2628 » A Science of Software Design |
175
click to vote
DFG
2004
Springer
16 years 2 days 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 ...
170
click to vote
ECOOP
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
212
click to vote
EKAW
2004
Springer
16 years 2 days ago
2004
Springer
In order to enable knowledge sharing and reuse among software entities, artificial intelligence researchers have proposed to develop ‘ontologies’ as the explicit formal specifi...
172
click to vote
EMSOFT
2004
Springer
16 years 2 days ago
2004
Springer
Security concerns on embedded devices like cellular phones make Java an extremely attractive technology for providing third-party and user-downloadable functionality. However, gar...
163
click to vote
FPL
2004
Springer
16 years 2 days ago
2004
Springer
The proteins in living organisms perform almost every significant function that governs life. A protein's functionality depends upon its physical structure, which depends on i...