1151 search results - page 42 / 231 » A Requirements Negotiation Model Based on Multi-Criteria Ana... |
112
click to vote
CIBCB
2007
IEEE
15 years 6 months ago
2007
IEEE
Gene regulatory network model is the most widely used mechanism to model and predict the behavior of living organisms. Network Component Analysis (NCA) as an emerging issue for unc...
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a method for static performance analysis of SoC architectures. The method is based on a network calculus theory known as LR servers. This network calculus is e...
119
click to vote
TACAS
1999
Springer
15 years 6 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
107
Voted
ECBS
2009
IEEE
15 years 5 months ago
2009
IEEE
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
118
click to vote
AAAI
1994
15 years 3 months ago
1994
Researchers in the eld of Distributed Arti cial Intelligence (DAI) have been developing e cient mechanisms to coordinate the activities of multiple autonomous agents. The need for...