8228 search results - page 1586 / 1646 » Structural Logical Relations |
154
click to vote
SIGADA
2001
Springer
15 years 8 months 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...
140
click to vote
INFOCOM
2000
IEEE
15 years 8 months 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...
151
click to vote
MOBICOM
2000
ACM
15 years 8 months 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...
155
click to vote
DATE
1999
IEEE
15 years 8 months 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...
131
click to vote
SIGGRAPH
1999
ACM
15 years 8 months 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...