1586 search results - page 242 / 318 » Modeling the evolution of operating systems: An empirical st... |
ICNSC
2007
IEEE
15 years 4 months ago
2007
IEEE
—Intermodal freight transportation is defined as a system that carries freight from origin to destination by using two or more transportation modes. In this system, hubs are one ...
HF
2002
14 years 9 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
103
click to vote
AMAST
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
GLOBECOM
2009
IEEE
15 years 1 months ago
2009
IEEE
— This paper proposes a mathematical framework for evaluating the throughput of an 802.11 Distributed Wireless Network (DWN) when the system allows Multi-Packet Reception (MPR) i...
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
The objective of this paper is to study how a software product company can expand its productbased business with the Software as a Service (SaaS) model into the mobile setting. We...