13618 search results - page 390 / 2724 » The Newton Operating System |
202
Voted
CONCUR
2009
Springer
15 years 4 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
218
click to vote
FAST
2009
15 years 4 months ago
2009
We present a formalism for provenance in distributed systems based on the -calculus. Its main feature is that all data products are annotated with metadata representing their prov...
321
click to vote
PC
2011
15 years 1 months ago
2011
We investigate the efficient iterative solution of large-scale sparse linear systems on shared-memory multiprocessors. Our parallel approach is based on a multilevel ILU precondit...
215
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Enterprise resource planning (ERP) systems integrate companies’ multiple information systems and help adapt best practices for business processes. ERP systems are in most cases ...
202
click to vote
IEEEIAS
2009
IEEE
16 years 1 months ago
2009
IEEE
: There are two main approaches for implementing IDS; Host based and Network based. While the former is implemented in form of software deployed on a host, the latter, usually is b...