共 50 条
- [41] Abstractions of Stochastic hybrid systems 2005 44TH IEEE CONFERENCE ON DECISION AND CONTROL & EUROPEAN CONTROL CONFERENCE, VOLS 1-8, 2005, : 4712 - 4717
- [42] Learning Global Models Based on Distributed Data Abstractions 19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 1645 - 1646
- [43] SwiSh: Distributed Shared State Abstractions for Programmable Switches PROCEEDINGS OF THE 19TH USENIX SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION (NSDI '22), 2022, : 171 - 191
- [45] Distributed asynchronous collections: Abstractions for publish/subscribe interaction ECOOP 2000 - OBJECT-ORIENTED PROGRAMMING, 2000, 1850 : 252 - 276
- [46] Abstractions for fault-tolerant distributed system verification THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2004, 3223 : 257 - 270
- [47] Service Abstractions With Fault Virtualization for Distributed Network Infrastructures 17TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS (DS-RT 2013), 2013, : 47 - 54
- [48] Discrete asymptotic abstractions of hybrid systems PROCEEDINGS OF THE 45TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2006, : 921 - +
- [49] Abstractions of multi-agent systems MULTI-AGENT SYSTEMS AND APPLICATIONS V, PROCEEDINGS, 2007, 4696 : 11 - 21
- [50] Compositional abstractions of hybrid control systems DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2004, 14 (02): : 203 - 238