1324 search results - page 35 / 265 » Automation Controller for Operational IT Management |
DLOG
2003
13 years 10 months ago
2003
We consider the problem of automated index selection for embedded control programs (ECPs). Such systems have the property that the transaction types, which can consist of queries ...
HCI
2007
13 years 10 months ago
2007
On Navy ships, technological developments enable crews to work more efficiently and effectively. However, in such complex, autonomous, and information-rich environments a competiti...
WMRD
1992
14 years 23 days ago
1992
Ficus is a exible replication facility with optimistic concurrency control designed to span a wide range of scales and network environments. Support for partitioned operation is f...
EATIS
2007
ACM
14 years 19 days ago
2007
ACM
Platforms of digital democracy, including both those in platforms of e-government and those operating independently, provide a channel of citizen participation enabling democratic...
TAPSOFT
1997
Springer
14 years 25 days ago
1997
Springer
Abstract. Reasoning on programs and automated deduction often require the manipulation of in nite sets of objects. Many formalisms have been proposed to handle such sets. Here we d...