467 search results - page 52 / 94 » Open bisimulation for aspects |
ICWS
2010
IEEE
13 years 8 months ago
2010
IEEE
Survivability is a crucial property for computer systems that support critical infrastructures of our society. A variety of survivability definitions and evaluation methods for t...
IEEEHPCS
2010
13 years 8 months ago
2010
In the last decades, Digital Rights Management (DRM) technology has been laid emphasis on digital contents protection and related security policies, mechanisms and implementation....
PUC
2010
13 years 8 months ago
2010
Abstract Digital technologies have enabled new temporalities of media consumption in the home. Through a field study of home television viewing practices, we investigated temporal...
CCE
2010
13 years 7 months ago
2010
: This paper presents a proposal for increased emphasis on operability in the Chemical Engineering capstone design courses. Operability becomes a natural aspect of the process desi...
IJFCS
2011
13 years 4 months ago
2011
some studies linked the computational power of abstract computing systems based on multiset rewriting to Petri nets and the computation power of these nets to pology. In turn, the ...