Sciweavers

1788 search results - page 145 / 358
» Model Theory for Process Algebra
Sort
View
117
Voted
CORR
2008
Springer
127views Education» more  CORR 2008»
15 years 3 months ago
On the long time behavior of the TCP window size process
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...
Djalil Chafaï, Florent Malrieu, Katy Paroux
DAC
2003
ACM
16 years 4 months ago
Extending the lifetime of a network of battery-powered mobile devices by remote processing: a markovian decision-based approach
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 ...
Peng Rong, Massoud Pedram
128
Voted
MSR
2005
ACM
15 years 9 months ago
Repository mining and Six Sigma for process improvement
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...
Michael VanHilst, Pankaj K. Garg, Christopher Lo
166
Voted
HT
2009
ACM
15 years 10 months ago
The redocumentation process of computer mediated activity traces: a general framework
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...
Leila Yahiaoui, Yannick Prié, Zizette Boufa...
148
Voted
IV
2010
IEEE
150views Visualization» more  IV 2010»
15 years 2 months ago
Supporting the Analytical Reasoning Process in Maritime Anomaly Detection: Evaluation and Experimental Design
Despite the growing number of systems providing visual analytic support for investigative analysis, few empirical studies include investigations on the analytical reasoning proces...
Maria Riveiro, Göran Falkman