3868 search results - page 306 / 774 » Open Systems in TLA |
166
Voted
SAINT
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present the design of foundation PKI (fPKI), a PKI system constructed on an overlay network for an open source community. fPKI can provide an alternative PKI sys...
174
click to vote
USENIX
1993
15 years 8 months ago
1993
Recently, there has been an effort to specify an IEEE standard for portable operating systems for open systems, called POSIX. One part of it, the POSIX 1003.4a threads extension (...
199
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
We consider a calculus for multiparty sessions with delegation, enriched with security levels for session participants and data. We propose a type system that guarantees both sessi...
171
Voted
EMNLP
2009
15 years 5 months ago
2009
We propose a new model for unsupervised POS tagging based on linguistic distinctions between open and closed-class items. Exploiting notions from current linguistic theory, the sy...
246
Voted
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
This research concerns fundamental performance limitations in control of discrete time nonlinear systems. The fundamental limitations are expressed in terms of the average cost of ...