Sciweavers

2853 search results - page 408 / 571
» Finding related tables
Sort
View
EATIS
2007
ACM
14 years 5 days ago
Analysing and enhancing business processes and IT-systems for mobile workforce automation: a framework approach
Mobile B2E-applications (business-to-employee) can add significant value to a company's business, when large workforce divisions are involved in the execution of certain busi...
Volker Gruhn, André Köhler
ESEM
2007
ACM
14 years 3 days ago
Cognitive Limits of Software Cost Estimation
This paper explores the cognitive limits of estimation in the context of software cost estimation. Two heuristics, representativeness and anchoring, motivate two experiments invol...
Ricardo Valerdi
FCT
2007
Springer
14 years 3 days ago
On Approximating Optimal Weighted Lobbying, and Frequency of Correctness Versus Average-Case Polynomial Time
We investigate issues regarding two hard problems related to voting, the optimal weighted lobbying problem and the winner problem for Dodgson elections. Regarding the former, Chris...
Gábor Erdélyi, Lane A. Hemaspaandra,...
FM
2009
Springer
169views Formal Methods» more  FM 2009»
14 years 3 days ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...
ICC
2007
IEEE
14 years 3 days ago
Routing for Emitter/Reflector Signal Detection in Wireless Sensor Network Systems
In this paper, we consider energy-efficient routing for detection in wireless sensor networks (WSNs). Energyefficient routing for WSNs has been intensely studied recently, but rout...
Yang Yang, Rick S. Blum