4074 search results - page 167 / 815 » Abstract Graph Transformation |
121
click to vote
ASM
2010
ASM
15 years 8 months ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...
99
Voted
INTETAIN
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Entertainment computing is on its way getting an established academic discipline. The scope of entertainment computing is quite broad (see the scope of the international ...
111
click to vote
TOOLS
2008
IEEE
15 years 8 months ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
108
click to vote
ACISICIS
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—An obfuscation aims to transform a program, without affecting its functionality, so that some secret information within the program can be hidden for as long as possible...
124
click to vote
AOSE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they shou...