6931 search results - page 847 / 1387 » Context and Design Agents |
206
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
This work presents the design and implementation of a massively parallel 3-SAT solver, specifically targeting random problem instances. Our approach is deterministic and features ...
200
click to vote
GROUP
2010
ACM
15 years 5 months ago
2010
ACM
Conflict and disruption are a part of everyday life, yet research in the home largely examines consensus and rituals. In this paper, we use Holmes and Rahe's categorization o...
182
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
201
Voted
IWCMC
2010
ACM
15 years 5 months ago
2010
ACM
In this paper, we propose a network mobility supporting scheme (N-NEMO) in Proxy Mobile IPv6 (PMIPv6) network, which is an issue still up in the air for the PMIPv6. In the N-NEMO,...
163
click to vote
HCI
2009
15 years 5 months ago
2009
This paper introduces the harmonized accessibility methodology (HAM) that has been defined and deployed in the context of the ACCESSIBLE project. HAM is aimed to harmonize existing...