1669 search results - page 42 / 334 » Structured Specification of Model Interpreters |
CSL
2004
Springer
15 years 8 months ago
2004
Springer
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...
133
click to vote
WECWIS
2005
IEEE
15 years 8 months ago
2005
IEEE
Semantic Web Services facilitate activities including automatic discovery and composition of Web Services. Research initiatives such as WSMO have been developing specifications fo...
116
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
121
Voted
ATAL
1997
Springer
15 years 6 months ago
1997
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
153
click to vote
AAMAS
2004
Springer
15 years 2 months ago
2004
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...