2525 search results - page 56 / 505 » A Framework for Semantic Gossiping |
110
Voted
ENTCS
2006
15 years 17 days ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
92
Voted
IFM
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
74
Voted
EUSFLAT
2007
15 years 2 months ago
2007
We propose a general semantic notion of modal many-valued logic. Then, we explore the difficulties to characterize this notation in a syntactic way and analyze the existing litera...
ERSHOV
2001
Springer
15 years 5 months ago
2001
Springer
A general semantics-based framework for the analysis of logic programs with delay declarations is presented. The framework incorporates well known refinement techniques based on r...
145
click to vote
AOSD
2012
ACM
13 years 8 months ago
2012
ACM
Aspect-Oriented Programming (AOP) started fifteen years ago with the remark that modularization of so-called crosscutting functionalities is a fundamental problem for the enginee...