64 search results - page 6 / 13 » Critical Agents Supporting Interactive Theorem Proving |
HICSS
1998
IEEE
15 years 3 months ago
1998
IEEE
Compared with traditional business operations, wwwbased commerce has many advantages, such as timeliness, worldwide communication, hyper-links, and multimedia. However, lack of cu...
120
click to vote
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
IAT
2006
IEEE
15 years 5 months ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
MAGS
2010
14 years 9 months ago
2010
Abstract. Distributed cooperative applications (e.g., e-commerce) are now increasingly being designed as a set of autonomous entities, named agents, which interact and coordinate (...
128
click to vote
JAISE
2010
14 years 5 months ago
2010
Negotiation is a process in which two or more parties aim to reach a joint agreement. As such negotiation involves rational decision making about options and issues. However, negot...