Sciweavers

15794 search results - page 128 / 3159
» Agent-Oriented Software Engineering
Sort
View
VMCAI
2007
Springer
16 years 13 days ago
More Precise Partition Abstractions
Harald Fecher, Michael Huth
VMCAI
2007
Springer
16 years 13 days ago
Language-Based Abstraction Refinement for Hybrid System Verification
Felix Klaedtke, Stefan Ratschan, Zhikun She
VMCAI
2007
Springer
16 years 13 days ago
The Spotlight Principle
Björn Wachter, Bernd Westphal
AGILEDC
2006
IEEE
16 years 12 days ago
The Agile Marathon
Bob Schatz, Ibrahim Abdelshafi