2375 search results - page 131 / 475 » Towards a Theory of Services |
147
click to vote
ICDCSW
2008
IEEE
16 years 26 days ago
2008
IEEE
In this position paper we investigate the security of cyberphysical systems. We (1) identify and define the problem of secure control, (2) investigate the defenses that informati...
139
click to vote
CIE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...
134
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this work we study the unification of heterogeneous partial specifications using category theory. We propose an alternative to inn morphisms, which we call (abstract) ...
137
click to vote
COLING
1994
15 years 7 months ago
1994
t This paper describes how recent linguistic results in explaining Japanese short and long distance scram hling (:an be directly incorporated into an existing principles-and-parame...
138
click to vote
WEWORC
2007
15 years 7 months ago
2007
Abstract. Courtois, Finiasz and Sendrier proposed in 2001 a practical code-based signature scheme. We give a rigorous security analysis of a modified version of this scheme in the...