789 search results - page 12 / 158 » A Formal Model for Epistemic Interactions |
HCI
2009
13 years 5 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
CORR
2009
Springer
13 years 5 months ago
2009
Springer
mework can be used to compare and merge models at different abstraction levels; in particular, higher-level (e.g. mobility) activities can be given a formal biological justificatio...
TACAS
2012
Springer
12 years 3 months ago
2012
Springer
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
STORYTELLING
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. During the fast evolution of automatic direction of Interactive Digital Storytelling many description of similar ideas have appeared in the academic literature. System ar...
AOSE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the...