9842 search results - page 382 / 1969 » Compositional timing analysis |
147
click to vote
HICSS
2005
IEEE
16 years 12 days 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, ...
157
click to vote
CSL
2003
Springer
16 years 7 hour 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...
180
Voted
DBPL
2003
Springer
16 years 6 hour 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...
150
click to vote
ICCSA
2003
Springer
15 years 12 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...
182
click to vote
EICS
2010
ACM
15 years 12 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...