10159 search results - page 1928 / 2032 » System Design Validation Using Formal Models |
CMG
2000
13 years 9 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...
ATAL
2010
Springer
13 years 9 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...
IJVR
2008
13 years 8 months ago
2008
One of the key functions to popularize 3D content services on virtual environments is on the extensibility of the underlying system. In our previous work, we had implemented an ext...
JUCS
2006
13 years 8 months ago
2006
: To many people, home is a sanctuary. For those people who need special medical care, they may need to be pulled out of their home to meet their medical needs. As the population a...
JCC
2007
13 years 8 months ago
2007
: Proteins are flexible systems and commonly populate several functionally important states. To understand protein function, these states and their energies have to be identified...