713 search results - page 93 / 143 » Viewcharts: Syntax and Semantics |
162
click to vote
AIA
2006
15 years 5 months ago
2006
Epistemic logic allows to reason not only about situations, but also about the knowledge that a set of agents have about situations. In later years, epistemic logic has been appli...
140
click to vote
ENTCS
2008
15 years 4 months ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
124
click to vote
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Automated modeling of appropriate and valid document descriptions is a central issue for the benefit and success of an ontologybased personal document management system. ...
136
Voted
JSW
2006
15 years 4 months ago
2006
When having repeated interactions with a service provider, a service consumer might desire guarantees on the delivery of the service. These guarantees involve both functional and n...
164
Voted
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...