Sciweavers

3979 search results - page 154 / 796
» Wild control operators
Sort
View
146
Voted
DSN
2000
IEEE
15 years 9 months ago
OFTT: A Fault Tolerance Middleware Toolkit for Process Monitoring and Control Windows NT Applications
This paper describes the OFTT (OLE Fault Tolerance Technology), a fault tolerance middleware toolkit running on the Microsoft Windows NT operating system that provides required fa...
Myron Hecht, Xuegao An, Bing Zhang, Yutao He
136
Voted
HICSS
2000
IEEE
108views Biometrics» more  HICSS 2000»
15 years 9 months ago
Quality Control in Spreadsheets: A Software Engineering-based Approach to Spreadsheet Development
This paper presents work conducted towards the development of an effective software engineering-based methodology for integrity control in the process of spreadsheet development. ...
Kamalasen Rajalingham, David Chadwick, Brian Knigh...
135
Voted
ECRTS
1999
IEEE
15 years 9 months ago
Timed automaton models for simple programmable logic controllers
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...
Angelika Mader, Hanno Wupper
160
Voted
SIGMOD
1998
ACM
166views Database» more  SIGMOD 1998»
15 years 9 months ago
CONTROL: Continuous Output and Navigation Technology with Refinement On-Line
The CONTROL project at U.C. Berkeley has developed technologies to provide online behavior for data-intensive applications. Using new query processing algorithms, these technologi...
Ron Avnur, Joseph M. Hellerstein, Bruce Lo, Chris ...
NSDI
2008
15 years 7 months ago
Securing Distributed Systems with Information Flow Control
Recent operating systems [12, 21, 26] have shown that decentralized information flow control (DIFC) can secure applications built from mostly untrusted code. This paper extends DI...
Nickolai Zeldovich, Silas Boyd-Wickizer, David Maz...