3428 search results - page 394 / 686 » Making the Case |
197
click to vote
SEW
2003
IEEE
15 years 12 months ago
2003
IEEE
Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...
175
click to vote
SSDBM
2003
IEEE
15 years 12 months ago
2003
IEEE
With increased demand for storage of scientific data comes a corresponding demand for efficient retrieval mechanisms necessary for analytical and reporting purposes. As is often...
180
click to vote
TPHOL
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
179
click to vote
WECWIS
2003
IEEE
15 years 12 months ago
2003
IEEE
There are many e-commerce applications on the web. A common shortcoming is the lack of customer service and marketing analysis tools in most ecommerce web sites. In order to overc...
160
click to vote
PADS
2003
ACM
15 years 12 months ago
2003
ACM
Packet-level discrete-event network simulators use an event to model the movement of each packet in the network. This results in accurate models, but requires that many events are...