3522 search results - page 147 / 705 » Modeling and Aspect Weaving |
89
Voted
ENTCS
2006
15 years 23 days ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
115
Voted
ISF
2007
15 years 19 days ago
2007
Abstract This paper addresses the specification of a security policy ontology framework to mediate security policies between virtual organizations (VO) and real organizations (RO)....
91
Voted
ICSM
2005
IEEE
15 years 6 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
94
Voted
DATESO
2008
15 years 2 months ago
2008
Abstract. This paper gives an overview of XML formal models, summarizes database engineering practices, problems and their evolution. We focus on categorical aspects of XML formal ...
86
Voted
AOSD
2007
ACM
15 years 4 months ago
2007
ACM
Current implementations for aspect-oriented programming languages map the aspect-oriented concepts of source programs to object-oriented bytecode. This hinders execution environme...