5015 search results - page 764 / 1003 » Model Checking a Path |
170
click to vote
COMPGEOM
2004
ACM
16 years 1 days ago
2004
ACM
Let P be a simple polygon with m vertices, k of which are reflex, and which contains r red points and b blue points in its interior. Let n = m + r + b. A ham-sandwich geodesic is ...
175
click to vote
SPW
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we describe Turtle, a peer-to-peer architecture for safe sharing of sensitive data. The truly revolutionary aspect of Turtle rests in its novel way of dealing with t...
163
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
— We investigate the problem of computing the types of the relationships between Internet Autonomous Systems. We refer to the model introduced in [1], [2] that bases the discover...
156
click to vote
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
The lifetime of wireless sensor network is crucial, since autonomous operation must be guaranteed over an extended period. As all the sensor data has to be forwarded to an observe...
180
click to vote
PDP
2003
IEEE
15 years 12 months ago
2003
IEEE
We consider the execution of a complex application on a heterogeneous "grid" computing platform. The complex application consists of a suite of identical, independent pr...