1087 search results - page 38 / 218 » Achieving Distributed Control through Model Checking |
136
click to vote
ICWSM
2009
14 years 12 months ago
2009
Whether they are modeling bookmarking behavior in Flickr or cascades of failure in large networks, models of diffusion often start with the assumption that a few nodes start long ...
133
click to vote
TAICPART
2010
IEEE
15 years 15 days ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
119
Voted
ICDCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Trust negotiation supports authentication and access control across multiple security domains by allowing parties to use non-forgeable digital credentials to establish trust. By t...
136
click to vote
SIGIR
2010
ACM
15 years 6 months ago
2010
ACM
Music information retrieval (MIR) holds great promise as a technology for managing large music archives. One of the key components of MIR that has been actively researched into is...
161
click to vote
IS
2012
13 years 9 months ago
2012
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...