2741 search results - page 263 / 549 » Engineering Mathematical Knowledge |
171
click to vote
KBSE
2005
IEEE
16 years 5 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
168
click to vote
METRICS
2005
IEEE
16 years 5 days ago
2005
IEEE
As mobile applications become more pervasive, the need for assessing their quality, particularly in terms of efficiency (i.e. performance and resource utilisation), increases. Alt...
152
click to vote
GECCO
2005
Springer
16 years 3 days ago
2005
Springer
Tensegrity structures are stable 3-dimensional mechanical structures which maintain their form due to an intricate balance of forces between disjoint rigid elements and continuous...
173
click to vote
ICCBSS
2005
Springer
16 years 3 days ago
2005
Springer
A vital issue in the correct use of commercial-off-the-shelf (COTS) components is the proper understanding of their functionality, quality attributes and ways of operation. Traditi...
176
click to vote
GECCO
2005
Springer
16 years 1 days ago
2005
Springer
The problem of pedestrian injury is a significant one throughout the world. In 2001, there were 4724 pedestrian fatalities in Europe and 4882 in the US. Significant advances have ...