1907 search results - page 80 / 382 » Visualizing Action Semantics |
192
Voted
CNSM
2010
14 years 9 months ago
2010
— Managing networks and services in large virtual enterprises often requires significant expertise to decipher and reconcile information coming from several heterogeneous sources...
147
click to vote
ICALP
2000
Springer
15 years 9 months ago
2000
Springer
In this paper, we recall how the syntax of diagrams is captured by the diagram editor generator DIAGEN, and outline a visual, rule-based, and objectoriented programming language b...
151
Voted
ICCS
2007
Springer
16 years 8 days ago
2007
Springer
We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also ...