Sciweavers

13137 search results - page 2348 / 2628
» A Science of Software Design
Sort
View
DFG
2004
Springer
16 years 2 days ago
An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems
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 ...
Wilhelm Schäfer, Robert Wagner, Jürgen G...
ECOOP
2004
Springer
16 years 2 days ago
Object Invariants in Dynamic Contexts
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...
K. Rustan M. Leino, Peter Müller
EKAW
2004
Springer
16 years 2 days ago
Knowledge Mediation: A Procedure for the Cooperative Construction of Domain Ontologies
In order to enable knowledge sharing and reuse among software entities, artificial intelligence researchers have proposed to develop ‘ontologies’ as the explicit formal specifi...
Felix-Robinson Aschoff, Franz Schmalhofer, Ludger ...
EMSOFT
2004
Springer
16 years 2 days ago
Garbage collection for embedded systems
Security concerns on embedded devices like cellular phones make Java an extremely attractive technology for providing third-party and user-downloadable functionality. However, gar...
David F. Bacon, Perry Cheng, David Grove
FPL
2004
Springer
109views Hardware» more  FPL 2004»
16 years 2 days ago
Hardware Accelerated Novel Protein Identification
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...
Anish Alex, Jonathan Rose, Ruth Isserlin-Weinberge...
« Prev « First page 2348 / 2628 Last » Next »