1888 search results - page 238 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
167
Voted
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
Object detection with a learned classifier has been applied successfully to difficult tasks such as detecting faces and pedestrians. Systems using this approach usually learn the ...
149
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
MPI Alltoall is one of the most communication intense collective operation used in many parallel applications. Recently, the supercomputing arena has witnessed phenomenal growth o...
117
click to vote
ACOM
2004
Springer
15 years 8 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
164
click to vote
AAMAS
1999
Springer
15 years 4 months ago
1999
Springer
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
161
click to vote
WWW
2003
ACM
15 years 9 months ago
2003
ACM
An important factor in the successful deployment of federated web-services-based business activities will be the ability to guarantee reliable distributed operation and execution....