5904 search results - page 350 / 1181 » Requirements for a Composition Language |
157
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
200
click to vote
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...
176
click to vote
PODS
2005
ACM
16 years 7 months ago
2005
ACM
We investigate the question of whether a query can be answered using a set V of views. We first define the problem in information-theoretic terms: we say that V determines if V pr...
162
click to vote
DEBS
2009
ACM
16 years 1 months ago
2009
ACM
Event processing has become the paradigm of choice in many monitoring and reactive applications. However, the understanding of events, their composition and level of abstraction, ...
188
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
The ultra-large-scale systems of the future require the transformation of software engineering into a computational discipline capable of fast and dependable software development....