2638 search results - page 418 / 528 » Frameworks for Reasoning about Agent Based Systems |
198
click to vote
HASKELL
2005
ACM
15 years 12 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
181
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...
152
click to vote
HICSS
2008
IEEE
16 years 25 days ago
2008
IEEE
A service-oriented architecture enables composite applications that support business processes to be defined and built dynamically from loosely coupled and interoperable web servi...
193
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
High-quality, personalized recommendations are a key feature in many online systems. Since these systems often have explicit knowledge of social network structures, the recommenda...
164
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
There has been a growing interest in designing multi-agent based interactive dramas. A key research challenge faced in the design of these systems is to support open-ended user in...