Sciweavers

2472 search results - page 81 / 495
» Parallel Key Exchange
Sort
View
119
Voted
CONCUR
2009
Springer
15 years 5 months ago
Concurrent Kleene Algebra
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
C. A. R. Hoare, Bernhard Möller, Georg Struth...
80
Voted
CEC
2010
IEEE
15 years 1 months ago
Population-Based Guided Local Search: Some preliminary experimental results
Based on the Proximate Optimality Principle in metaheuristics, a Population Based Guided Local Search (PGLS) framework for dealing with difficult combinatorial optimization problem...
Nasser Tairan, Qingfu Zhang
107
Voted
ATAL
2007
Springer
15 years 7 months ago
Semantical Concepts for a Formal Structural Dynamics of Situated Multiagent Systems
Abstract. This paper introduces semantical concepts to support a formal structural dynamics of situated multiagent systems. Multiagent systems are seen from the perspective of the ...
Antônio Carlos da Rocha Costa, Graçal...
ISI
2004
Springer
15 years 6 months ago
Interactive Query Languages for Intelligence Tasks
Counterterrorism and intelligence tasks rely on the efficient collection, analysis and dissemination of information. While information systems play a key role in such tasks, databa...
Antonio Badia
87
Voted
HICSS
2003
IEEE
124views Biometrics» more  HICSS 2003»
15 years 6 months ago
Virtual Organizing: Using Threads to Coordinate Distributed Work
This paper explores the critical role of conversational threads in facilitating the ongoing, distributed work of one virtual organization. In studying the electronic mail exchange...
JoAnne Yates, Wanda J. Orlikowski, Stephanie L. Wo...