1060 search results - page 56 / 212 » Mechanized semantics |
121
Voted
IRI
2008
IEEE
15 years 10 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...
118
Voted
IGPL
2006
15 years 3 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...
148
Voted
WWW
2004
ACM
16 years 4 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...
128
Voted
OOPSLA
2001
Springer
15 years 8 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...
114
Voted
POLICY
2005
Springer
15 years 9 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...