Sciweavers

13618 search results - page 159 / 2724
» The Newton Operating System
Sort
View
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
STORAGESS
2005
ACM
16 years 2 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
ESAW
2007
Springer
16 years 20 days 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 3 days ago
Value Added Web Services for Industrial Operations and Maintenance
Mika Viinikkala, Veli-Pekka Jaakkola, Seppo Kuikka