Sciweavers

11214 search results - page 209 / 2243
» Programming Multi-agent Systems
Sort
View
VMCAI
2005
Springer
16 years 1 days ago
Scalable Analysis of Linear Systems Using Mathematical Programming
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
VSTTE
2005
Springer
16 years 1 days 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...