Sciweavers

9503 search results - page 203 / 1901
» Authenticated System Calls
Sort
View
IEEEARES
2006
IEEE
16 years 1 months ago
A Component Based Software Architecture for E-Government Applications
The raising need for e-government applications leads to many new approaches in this sector. To fulfill the requirement for a flexible government-to-government (G2G) software sys...
Daniel Beer, Raphael Kunis, Gudula Rünger
SIGOPSE
2004
ACM
16 years 18 days ago
Trust but verify: accountability for network services
This paper promotes accountability as a central design goal for dependable networked systems. We define three properties for accountable systems that extend beyond the basic secu...
Aydan R. Yumerefendi, Jeffrey S. Chase
JELIA
2010
Springer
15 years 5 months ago
Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
Abstract. Tabled evaluation is a recognized and powerful implementation technique that overcomes some limitations of traditional Prolog systems in dealing with recursion and redund...
Flávio Cruz, Ricardo Rocha
SSS
2007
Springer
16 years 1 months ago
The Truth System: Can a System of Lying Processes Stabilize?
We introduce a new abstract system, called the truth system. In the truth system, a process deduces a true value, with high probability, from an incoming stream of both true and fa...
Mohamed G. Gouda, Yan Li
CDC
2010
IEEE
117views Control Systems» more  CDC 2010»
15 years 2 months ago
A symmetric structure of variational and adjoint systems of stochastic Hamiltonian systems
Abstract-- The authors have extended deterministic portHamiltonian systems into stochastic dynamical systems which are described by stochastic differential equations written in the...
Satoshi Satoh, Kenji Fujimoto