8228 search results - page 1586 / 1646 » Structural Logical Relations |
SIGADA
2001
Springer
14 years 4 days ago
2001
Springer
Automatic software testing is gradually becoming accepted practice in the software industry. The shrinking development cycle and higher expectation of software quality are forcing...
INFOCOM
2000
IEEE
14 years 3 days ago
2000
IEEE
Abstract—We study a network model in which each network link is associated with a set of delays and costs. These costs are a function of the delays and reflect the prices paid i...
MOBICOM
2000
ACM
14 years 2 days ago
2000
ACM
An on-demand routing protocol for wireless ad hoc networks is one that searches for and attempts to discover a route to some destination node only when a sending node originates a...
DATE
1999
IEEE
14 years 22 hour ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
SIGGRAPH
1999
ACM
14 years 12 hour ago
1999
ACM
We present a solution to the general problem of characterizing shadows in scenes involving a uniform polygonal area emitter and a polygonal occluder in arbitrary position by manif...