9370 search results - page 184 / 1874 » An Abstract Notion of Application |
143
click to vote
JSCIC
2008
15 years 6 months ago
2008
Abstract The paper is concerned with system reduction by statistical methods and, in particular, by the optimal prediction method introduced in (Chorin, A.J., Hald, O.H., Kupferman...
167
click to vote
MOC
2000
15 years 6 months ago
2000
Abstract. This paper provides a framework for developing computationally efficient multilevel preconditioners and representations for Sobolev norms. Specifically, given a Hilbert s...
102
click to vote
JUCS
2010
15 years 5 months ago
2010
of Abstract and Full Paper submission: October 31, 2009 November 15, 2009 Notification of Acceptance: December 7, 2009: Deadline of Authors and Early-bird Registration: January 8, ...
172
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...
143
click to vote
EDOC
2006
IEEE
16 years 19 days ago
2006
IEEE
The variety of design artefacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper pro...