3828 search results - page 706 / 766 » Proof-Based System Engineering Using a Virtual System Model |
159
click to vote
SSR
2001
15 years 3 months ago
2001
Software product lines have numerous members. Thus, a product line infrastructure must cover various systems. This is the significant difference to usual software systems and the ...
98
Voted
CMG
2000
15 years 3 months ago
2000
Responsiveness and scalability are important quality-of-service attributes for Web applications. Web sites that are slow, either because of poor responsiveness or lack of scalabil...
132
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
This demo illustrates MAS-DisCoSim 4 PDP, a testbed environment for evaluating distributed multi-agent system solutions to pickup and delivery problems (PDPs). PDPs are well-studi...
116
click to vote
JSS
2002
15 years 1 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
149
click to vote
RAS
2010
15 years 17 days ago
2010
We present a novel approach to estimating depth from single omnidirectional camera images by learning the relationship between visual features and range measurements available dur...