2608 search results - page 98 / 522 » Subjects, Models, Languages, Transformations |
135
click to vote
ATAL
2011
Springer
14 years 5 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...
137
click to vote
MSR
2005
ACM
15 years 11 months ago
2005
ACM
Source Control Repositories are used in most software projects to store revisions to source code files. These repositories operate at the file level and support multiple users. ...
139
click to vote
SIGIR
2006
ACM
15 years 12 months ago
2006
ACM
We present an approach to improving the precision of an initial document ranking wherein we utilize cluster information within a graph-based framework. The main idea is to perform...
152
click to vote
SAC
2006
ACM
15 years 12 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
195
click to vote
LCTRTS
2010
Springer
15 years 3 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...