9842 search results - page 382 / 1969 » Compositional timing analysis |
112
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Web services offer a number of valuable features towards supporting the development of open distributed systems, built out of the composition of autonomous services. Nonetheless, ...
131
Voted
CSL
2003
Springer
15 years 10 months ago
2003
Springer
The semantics of class-based languages can be defined in terms of objects only [8, 7, 1] if classes are viewed as objects with a constructor method. One obtains a store in which m...
149
Voted
DBPL
2003
Springer
15 years 10 months ago
2003
Springer
We consider the incremental validation of updates on XML documents. When a valid XML document (i.e., one satisfying some constraints) is updated, it has to be verified that the n...
125
Voted
ICCSA
2003
Springer
15 years 10 months ago
2003
Springer
The solution of large-scale, nonlinear PDE-based simulations typically depends on the performance of sparse linear solvers, which may be invoked at each nonlinear iteration. We pre...
149
click to vote
EICS
2010
ACM
15 years 10 months ago
2010
ACM
Ten years ago, I introduced the notion of user interface plasticity to denote the capacity of user interfaces to adapt, or to be adapted, to the context of use while preserving us...