4636 search results - page 770 / 928 » Modelling and Validation with VipTool |
ICISS
2009
Springer
14 years 3 months ago
2009
Springer
Many peer-assisted content-distribution systems reward a peer based on the amount of data that this peer serves to others. However, validating that a peer did so is, to our knowled...
ICSOC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of ...
ISMIS
2009
Springer
14 years 3 months ago
2009
Springer
Many clustering methods are based on flat descriptions, while data regarding real-world domains include heterogeneous objects related to each other in multiple ways. For instance,...
KES
2009
Springer
14 years 3 months ago
2009
Springer
The web data or data originated on the Web contain information and knowledge which allows improving web site efficiency and effectiveness to attract and retain visitors. However, w...
OOPSLA
2009
Springer
14 years 3 months ago
2009
Springer
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...