28 search results - page 6 / 6 » A Behavioral Type Inference System for Compositional System-... |
ATAL
2009
Springer
13 years 12 months ago
2009
Springer
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considerin...
SCESM
2006
ACM
13 years 11 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
DAC
2010
ACM
13 years 8 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...