379 search results - page 48 / 76 » A Generative Approach to Change-Driven Consistency in Multi-... |
VALUETOOLS
2006
ACM
15 years 4 months ago
2006
ACM
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
ICEBE
2007
IEEE
15 years 4 months ago
2007
IEEE
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...
SMI
2006
IEEE
15 years 4 months ago
2006
IEEE
Most real world objects consist of non-uniform materials; as a result, during deformation the bending and shearing are distributed non-uniformly and depend on the local stiffness ...
PPOPP
2010
ACM
15 years 7 months ago
2010
ACM
We present a static analysis for the automatic generation of symbolic prefetches in a transactional distributed shared memory. A symbolic prefetch specifies the first object to be...
ICCV
2005
IEEE
16 years 14 days ago
2005
IEEE
We present a new approach to model visual scenes in image collections, based on local invariant features and probabilistic latent space models. Our formulation provides answers to...