7984 search results - page 1338 / 1597 » Exploring personal information |
120
click to vote
CAV
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
120
Voted
ECAI
2000
Springer
15 years 8 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...
119
Voted
SIGCOMM
1999
ACM
15 years 8 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...
159
click to vote
VRST
1999
ACM
15 years 8 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...
130
click to vote
PRDC
1999
IEEE
15 years 8 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...