1060 search results - page 56 / 212 » Mechanized semantics |
IRI
2008
IEEE
15 years 4 months ago
2008
IEEE
Linking components with end-user requests for processing is problematic when there are fundamental language differences between component specifications and how individual users s...
IGPL
2006
14 years 9 months ago
2006
Diminishing awareness is a consequence of the information explosion: disciplines are becoming increasingly specialized; individuals and groups are becoming ever more insular. This...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
This paper explains our research and implementations of manual, automatic and deep annotations of provenance logs for e-Science in silico experiments. Compared to annotating gener...
OOPSLA
2001
Springer
15 years 2 months ago
2001
Springer
Object-oriented languages come with pre-defined composition mechanisms, such as inheritance, object composition, or delegation, each characterized by a certain set of composition...
POLICY
2005
Springer
15 years 3 months ago
2005
Springer
The use of policy-based mechanisms significantly reduces the complexity associated with applicational development and operation. In particular, history-based policies allow the s...