1536 search results - page 254 / 308 » The Underlying Logic of Hoare Logic |
193
click to vote
ENC
2004
IEEE
15 years 10 months ago
2004
IEEE
Despite the relevance of the belief-desire-intention (BDI) model of rational agency, little work has been done to deal with its two main limitations: the lack of learning competen...
165
click to vote
ESWS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Semantic Web Services were developed with the goal of automating the integration of business processes on the Web. The main idea is to express the functionality of the se...
167
click to vote
AGENTCL
2000
Springer
15 years 9 months ago
2000
Springer
The process of cooperative problem solving can be divided into four stages. First, finding potential team members, then forming a team followed by constructing a plan for that tea...
207
click to vote
EEF
2000
15 years 9 months ago
2000
Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we con...
168
click to vote
ICES
2000
Springer
15 years 9 months ago
2000
Springer
Testing is a key issue in the design and production of digital circuits: the adoption of BIST (Built-In Self-Test) techniques is increasingly popular, but requires efficient algori...