1788 search results - page 145 / 358 » Model Theory for Process Algebra |
117
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The TCP window size process appears in the modeling of the famous Transmission Control Protocol used for data transmission over the Internet. This continuous time Markov process t...
134
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
This paper addresses the problem of extending the lifetime of a batterypowered mobile host in a client-server wireless network by using task migration and remote processing. This ...
128
Voted
MSR
2005
ACM
15 years 9 months ago
2005
ACM
In this paper, we propose to apply artifact mining in a global development environment to support measurement based process management and improvement, such as SEI/CMMI’s GQ(I)M...
166
Voted
HT
2009
ACM
15 years 10 months ago
2009
ACM
The digital world enables the creation of personalized documents. In this paper we are interested in describing a computer mediated activity by a person throughout a semi-automati...
148
Voted
IV
2010
IEEE
15 years 2 months ago
2010
IEEE
Despite the growing number of systems providing visual analytic support for investigative analysis, few empirical studies include investigations on the analytical reasoning proces...