2637 search results - page 390 / 528 » Tool Supported Specification and Simulation of Distributed S... |
204
click to vote
DOLAP
2010
ACM
15 years 4 months ago
2010
ACM
Inter-business collaborative contexts prefigure a distributed scenario where companies organize and coordinate themselves to develop common and shared opportunities. Traditional b...
204
click to vote
MOBISYS
2008
ACM
16 years 6 months ago
2008
ACM
Recent years have witnessed the impacts of distributed content sharing (Wikipedia, Blogger), social networks (Facebook, MySpace), sensor networks, and pervasive computing. We beli...
162
click to vote
QEST
2007
IEEE
16 years 18 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
157
click to vote
WCRE
2000
IEEE
15 years 10 months ago
2000
IEEE
To fully understand the underlying architecture of an object-oriented software system, both static and dynamic analyses are needed. Dynamic reverse engineering techniques are espe...
145
click to vote
SIGMETRICS
2004
ACM
15 years 11 months ago
2004
ACM
Low priority data transfer across the wide area is useful in several contexts, for example for the dissemination of large files such as OS updates, content distribution or prefet...