2357 search results - page 214 / 472 » Computing Refactorings of Behavior Models |
110
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
We analyze and extend a recently proposed model of linguistic diffusion in social networks, to analytically derive time to convergence, and to account for the innovation phase of...
135
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Enormous amounts of information are produced every day, all over the world. but very little of it is true. In this paper, we describe the modeling component of a current events an...
135
click to vote
ICPPW
2002
IEEE
15 years 9 months ago
2002
IEEE
Incidents such as Solar Sunrise and Nimda demonstrate the need to expressively model distributed and complex network attacks. To protect information systems, system administrators...
136
click to vote
CAV
2001
Springer
15 years 8 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
124
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper describes a new way of implementing an intelligent web caching service, based on an analysis of usage. Since the cache size in software is limited, and the sea...