15974 search results - page 2755 / 3195 » Object-Oriented Software Engineering |
129
click to vote
CMG
2000
15 years 6 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...
184
click to vote
WISES
2003
15 years 6 months ago
2003
— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...
176
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
167
click to vote
ATAL
2010
Springer
15 years 6 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...
207
click to vote
GG
2010
Springer
15 years 6 months ago
2010
Springer
Model-driven development (MDD) has become a promising trend in software engineering. The model-driven development of highly complex software systems may lead to large models which ...