2139 search results - page 226 / 428 » Modeling Aspect-Oriented Compositions |
194
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
151
click to vote
TGC
2007
Springer
16 years 21 days ago
2007
Springer
We add specifications of location-aware measurements to performance models in a compositional fashion, promoting precision in performance measurement design. Using immediate actio...
169
click to vote
CAISE
2000
Springer
15 years 11 months ago
2000
Springer
More and more product development projects involve geographically distributed groups of developers. One problem in such groups is the long term lack of awareness of the activities ...
210
click to vote
DEXAW
1998
IEEE
15 years 10 months ago
1998
IEEE
The integration of active database technology into mobile database systems allows to limit the transfer of data between mobile computers and the stationary network. In order to em...
182
click to vote
DLOG
2009
15 years 7 months ago
2009
Relation Based Access Control (RelBAC) is an access control model designed for the new scenarios of access control on Web 2.0. Under this model, we discuss in this paper how to for...