7080 search results - page 1077 / 1416 » Designing High Integrity Systems Using Aspects |
156
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Genome-scale metabolic reconstructions under the Constraint Based Reconstruction and Analysis (COBRA) framework are valuable tools for analyzing the metabolic capabili...
137
click to vote
CEEMAS
2005
Springer
15 years 10 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
139
Voted
KBSE
2000
IEEE
15 years 9 months ago
2000
IEEE
: Software development includes gathering information about tasks, work practices and design options from users. Traditionally requirements gathering takes two forms. Interviews an...
195
click to vote
LPAR
2012
Springer
14 years 4 days ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
137
Voted
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Power delivery, electricity consumption, and heat management are becoming key challenges in data center environments. Several past solutions have individually evaluated different ...