11455 search results - page 1999 / 2291 » The Rayset and Its Applications |
185
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
154
click to vote
FPL
1999
Springer
15 years 11 months ago
1999
Springer
Programmable logic is widely used, for applications ranging from eld-upgradable subsystems to advanced uses such as recon gurable computing platforms which are modi able at run-tim...
186
click to vote
VISUALIZATION
1999
IEEE
15 years 11 months ago
1999
IEEE
"Free Flight" will change today's air traffic control system by giving pilots increased flexibility to choose and modify their routes in real time, reducing costs a...
185
click to vote
GIS
1999
ACM
15 years 11 months ago
1999
ACM
In this paper we investigate the development of an embedded and mobile geographic information system. Its main characteristics concern the possibility to access various informatio...
187
click to vote
ACSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
A business's success depends on its ability to protect valuable business assets in an increasingly hostile environment. Protecting information requires a cost, not only in pu...