Sciweavers

13618 search results - page 159 / 2724
» The Newton Operating System
Sort
View
196
Voted
CONCUR
2012
Springer
13 years 9 months ago
MSO Decidability of Multi-Pushdown Systems via Split-Width
Abstract. Multi-threaded programs with recursion are naturally modeled as multi-pushdown systems. The behaviors are represented as multiply nested words (MNWs), which are words enr...
Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar
182
Voted
STORAGESS
2005
ACM
16 years 16 days ago
Toward securing untrusted storage without public-key operations
Adding security capabilities to shared, remote and untrusted storage file systems leads to performance degradation that limits their use. Public-key cryptographic primitives, wid...
Dalit Naor, Amir Shenhav, Avishai Wool
198
Voted
ESAW
2007
Springer
16 years 1 months ago
Multi-agent Simulation to Implementation: A Practical Engineering Methodology for Designing Space Flight Operations
OCAMS is a practical engineering application of multi-agent systems technology, involving redesign of the tools and practices in a complex, distributed system. OCAMS is designed to...
William J. Clancey, Maarten Sierhuis, Chin Seah, C...
HICSS
2009
IEEE
112views Biometrics» more  HICSS 2009»
16 years 1 months ago
Errors in Operational Spreadsheets: A Review of the State of the Art
Stephen G. Powell, Kenneth R. Baker, Barry Lawson ...
ICEIS
2005
IEEE
16 years 17 days ago
Value Added Web Services for Industrial Operations and Maintenance
Mika Viinikkala, Veli-Pekka Jaakkola, Seppo Kuikka