1700 search results - page 71 / 340 » Specifying and implementing refactorings |
157
Voted
JSS
2006
15 years 4 months ago
2006
The Mobile Agent Intrusion Detection System (MAIDS) is an agent based distributed Intrusion Detection System (IDS). A disciplined requirement engineering process is developed to b...
159
click to vote
SPE
2002
15 years 4 months ago
2002
Development environments based on ActiveX controls and JavaBeans are marketed as "visual programming" platforms; in practice their visual dimension is limited to the des...
157
click to vote
INFOCOM
2012
IEEE
13 years 6 months ago
2012
IEEE
—Access control is one of the most important security mechanisms in cloud computing. Attribute-based access control provides a flexible approach that allows data owners to integ...
166
click to vote
CASCON
1992
15 years 5 months ago
1992
Metaprogramming is the process of specifying generic software source templates from which classes of software components, or parts thereof, can be automatically instantiated to pr...
114
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
—We show how to verify the correctness of transactional memory implementations with a model checker. We show how to specify transactional memory in terms of the admissible interc...