2055 search results - page 145 / 411 » Generic Model Refactorings |
117
click to vote
ESORICS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
CMOT
2007
15 years 1 months ago
2007
Organizations change with the dynamics of the world. To enable organizations to change, certain structures and capabilities are needed. As all processes, a change process has an or...
CSDA
2007
15 years 1 months ago
2007
A unifying model is presented that implies a categorical and/or dimensional reduction of one or several modes of a multiway data set. The model encompasses a broad range of (exist...
123
click to vote
MSR
2006
ACM
15 years 8 months ago
2006
ACM
Similarity analysis of source code is helpful during development to provide, for instance, better support for code reuse. Consider a development environment that analyzes code whi...
133
click to vote
ICSE
2001
IEEE-ACM
15 years 6 months ago
2001
IEEE-ACM
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...