2546 search results - page 250 / 510 » In support of city exploration |
125
click to vote
ANSS
2005
IEEE
16 years 6 days ago
2005
IEEE
Many scientific simulations are large programs which despite careful debugging and testing will probably contain errors when deployed to the Web for use. Based on the assumption ...
172
click to vote
CODES
2005
IEEE
16 years 6 days ago
2005
IEEE
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....
152
click to vote
ICALT
2005
IEEE
16 years 6 days ago
2005
IEEE
Busy, active adults often do not have the time or ability to study in traditional, face-to-face classroom settings. In addition, adult learners may need access to content or exper...
187
click to vote
INFOVIS
2005
IEEE
16 years 5 days ago
2005
IEEE
Many visual analysis tools operate on a fixed set of data. However, professional information analysts follow issues over a period of time and need to be able to easily add new doc...
159
click to vote
SEFM
2005
IEEE
16 years 5 days ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...