2108 search results - page 44 / 422 » An Operational Semantics for Stateflow |
SKG
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper, we propose the Semantic Information Model for Digital Libraries - DLOnto based on the theory of the Semantic Web, and give the formalized definition of and relative ...
CP
2005
Springer
14 years 11 months ago
2005
Springer
One of the attractive features of the Constraint Handling Rules (CHR) programming language is its declarative semantics where rules are read as formulae in first-order predicate l...
PPDP
2004
Springer
15 years 3 months ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
WAIM
2005
Springer
15 years 3 months ago
2005
Springer
Unlike Internet portals, a typical Web Information System contains lots of user operations. However, existing Web design frameworks focus exclusively on data presentation: the proc...
LPAR
2007
Springer
15 years 3 months 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...