3828 search results - page 663 / 766 » Proof-Based System Engineering Using a Virtual System Model |
124
Voted
WSDM
2010
ACM
15 years 11 months ago
2010
ACM
Sponsored search is a multi-billion dollar business that generates most of the revenue for search engines. Predicting the probability that users click on ads is crucial to sponsor...
126
Voted
IADIS
2003
15 years 3 months ago
2003
Avionics data at the National Aeronautics and Space Administration’s (NASA) Jet Propulsion Laboratory (JPL) consists of distributed, unmanaged, and heterogeneous information tha...
132
click to vote
IUI
2005
ACM
15 years 8 months ago
2005
ACM
An expressive representation for location is an important component in many applications. However, while many location-aware applications can reason about space at the level of co...
120
Voted
CSMR
1999
IEEE
15 years 6 months ago
1999
IEEE
Maintenance activities are made more difficult when pointers are heavily used in source code: the programmer needs to build a mental model of memory locations and of the way they ...
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...