Sciweavers

1623 search results - page 165 / 325
» Collaborative Problem Solving Environment
Sort
View
109
Voted
CORR
2010
Springer
79views Education» more  CORR 2010»
15 years 2 months ago
Quantitative Games on Probabilistic Timed Automata
Abstract. Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the cont...
Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Triv...
158
Voted
COMPGEOM
2004
ACM
15 years 6 months ago
Continuous path verification in multi-axis NC-machining
We introduce a new approach to the problem of collision detection between a rotating milling-cutter of an NC-machine and a model of a solid workpiece, as the rotating cutter conti...
Ron Wein, Oleg Ilushin, Gershon Elber, Dan Halperi...
99
Voted
PERCOM
2004
ACM
16 years 2 months ago
One-Time Capabilities for Authorizations without Trust
This paper introduces and solves a security problem of pervasive computing: how to define authorizations for offline interactions when trust relationships among entities do not ex...
Laurent Bussard, Refik Molva
225
Voted
IPPS
2005
IEEE
15 years 8 months ago
Combinatorial Auction-Based Protocols for Resource Allocation in Grids
In this paper, we introduce the combinatorial auction model for resource management in grids. We propose a combinatorial auction-based resource allocation protocol in which a user...
Anubhav Das, Daniel Grosu
GCC
2005
Springer
15 years 8 months ago
Dynamic Models of Knowledge in Virtual Organizations
The dynamics of knowledge is important for virtual organizations (VOs) knowledge management (KM) to improve the fast response capabilities and flexible problem solving capabilities...
Yan Ren, Xueshan Luo