477 search results - page 2 / 96 » Design patterns in separation logic |
77
Voted
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
This paper outlines an aspect-oriented approach to support separation and modularization of crosscutting concerns in multi-agent systems. Aspects as abstractions to capture social ...
57
Voted
SAC
2006
ACM
15 years 3 months ago
2006
ACM
87
Voted
ICECCS
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
85
Voted
TFS
2008
14 years 9 months ago
2008
Abstract--Flocking algorithms essentially consist of three components: alignment, cohesion, and separation. To track a desired trajectory, the flock center should move along the de...
COMPSAC
2009
IEEE
15 years 2 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...