871 search results - page 50 / 175 » Modular Design of Reactive Systems |
MASCOTS
2001
13 years 9 months ago
2001
Enterprise storage systems depend on disk arrays for their capacity and availability needs. To design and maintain storage systems that efficiently satisfy evolving requirements, ...
ECOOP
2000
Springer
14 years 5 days ago
2000
Springer
Abstract. While sequential behavior of single objects is fairly well understood, orchestrating the collective behavior emerging from the behaviors of individual objects continues t...
ECOOP
2005
Springer
14 years 1 months ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
AAAI
2007
13 years 10 months ago
2007
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...
ISMB
2007
13 years 10 months ago
2007
Motivation: A few years ago, FlyBase undertook to design a new database schema to store Drosophila data. It would fully integrate genomic sequence and annotation data with bibliog...