7984 search results - page 1338 / 1597 » Exploring personal information |
182
click to vote
CAV
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
170
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
In dynamically changing environments a planning system does not have all the required information at the first place and the world state can change, rendering the original plan i...
181
click to vote
SIGCOMM
1999
ACM
15 years 11 months ago
1999
ACM
The more information about current network conditions available to a transport protocol, the more efficiently it can use the network to transfer its data. In networks such as the...
231
click to vote
VRST
1999
ACM
15 years 11 months ago
1999
ACM
Travel can be a stressful experience and it is an activity that is difficult to prepare for in advance. Although maps, routes and landmarks can be memorised, travellers do not get...
190
click to vote
PRDC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a measurement-based dependability study of a Networked Windows NT system based on field data collected from NT System Logs from 503 servers running in a produc...