1937 search results - page 286 / 388 » Starting B Specifications from Use Cases |
169
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
183
click to vote
SIGCOMM
2003
ACM
15 years 11 months ago
2003
ACM
Traceroute is widely used to detect routing problems, characterize end-to-end paths, and discover the Internet topology. Providing an accurate list of the Autonomous Systems (ASes...
154
click to vote
ECIS
2001
15 years 7 months ago
2001
We are not only in a new millennium but also a new era. A variety of terms such as the Post-Industrial Era (Huber, 1990), the Information Age (Shapiro et al, 1999), the Third Wave...
182
click to vote
WCE
2007
15 years 7 months ago
2007
— The spatio-temporal modelling and forecasting of incidences of crimes have now become a routine part of crime prevention operations. However, obtaining reliable forecasts for c...
181
click to vote
FOCS
2008
IEEE
15 years 6 months ago
2008
IEEE
We consider markets in the classical Arrow-Debreu model. There are n agents and m goods. Each buyer has a concave utility function (of the bundle of goods he/she buys) and an init...