4008 search results - page 571 / 802 » An expressive language of signatures |
166
click to vote
KI
2007
Springer
16 years 22 days ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
190
click to vote
LPAR
2007
Springer
16 years 22 days ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
180
click to vote
MODELS
2007
Springer
16 years 22 days ago
2007
Springer
The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical preced...
184
click to vote
PVM
2007
Springer
16 years 21 days ago
2007
Springer
llc is a language based on C where parallelism is expressed using compiler directives. The llc compiler produces MPI code which can be ported to both shared and distributed memory ...
175
click to vote
TLCA
2007
Springer
16 years 21 days ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...