Sciweavers

11214 search results - page 209 / 2243
» Programming Multi-agent Systems
Sort
View
VMCAI
2005
Springer
16 years 57 min ago
Scalable Analysis of Linear Systems Using Mathematical Programming
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
VSTTE
2005
Springer
16 years 49 min ago
The Spec# Programming System: Challenges and Directions
Michael Barnett, Robert DeLine, Manuel Fähndr...
JELIA
2004
Springer
15 years 12 months ago
Abductive Logic Programming with CIFF: System Description
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Gi...