2661 search results - page 225 / 533 » A Semantics for Abstraction |
169
click to vote
MFCS
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Action refinement in process algebras has been widely studied in the last few years as a means to support top-down design of systems. A specific notion of refinement aris...
166
click to vote
FMCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
218
click to vote
ICFP
2003
ACM
16 years 7 months ago
2003
ACM
This paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a typedirected translation from its user-friendly external language to its ...
208
click to vote
AI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we introduce a system that automatically summarizes multiple biomedical documents relevant to a question. The system extracts biomedical and general concept...
203
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Design patterns are widely-used software engineering abstractions which define guidelines for modeling common application scenarios. Ontology design patterns are the ext...