Sciweavers

5247 search results - page 251 / 1050
» The Generalized A* Architecture
Sort
View
GCC
2004
Springer
16 years 20 days ago
Agent-Oriented Formal Specification of Web Services
Web services (WS) provide a technology for integrating applications over the Internet. The components of a WS are active and persistent computational entities that have autonomous ...
Hong Zhu, Bin Zhou, XinJun Mao, Lijun Shan, David ...
DATE
2010
IEEE
125views Hardware» more  DATE 2010»
16 years 11 days ago
pSHS: A scalable parallel software implementation of Montgomery multiplication for multicore systems
—Parallel programming techniques have become one of the great challenges in the transition from single-core to multicore architectures. In this paper, we investigate the parallel...
Zhimin Chen, Patrick Schaumont
ATAL
2006
Springer
15 years 11 months ago
Designing agent chips
We outline meta-encoding schemas for compiling nonmonotonic logic theories into Verilog HDL (Hardware Description Language) descriptions. These descriptions can be synthesized int...
Insu Song, Guido Governatori
AKA
2004
15 years 8 months ago
Multimodel Application Specification, Integration, and Evolution - Experiences from the Reinsurance Industry
: Swiss Re has established an architectural framework, tools, and concepts that enable business people to specify their view of the business in a consistent and formal manner. Base...
Hans Wegener
ACOM
2006
Springer
16 years 1 months ago
Integrating Social Commitment-Based Communication in Cognitive Agent Modeling
In this paper, we extend the classical BDI architecture for the treatment of social commitments based communication by: (1) linking social commitments and individual intentions, (2...
Philippe Pasquier, Brahim Chaib-draa