Sciweavers

3688 search results - page 164 / 738
» Static analysis of aspects
Sort
View
ISSE
2010
15 years 5 months ago
URDAD as a semi-formal approach to analysis and design
The Use Case, Responsibility Driven Analysis and Design (URDAD) methodology is a methodology for technology neutral design generating the Platform Independent Model of the Object M...
Fritz Solms, Dawid Loubser
ICALT
2007
IEEE
16 years 26 days ago
Integrating Dynamic Program Visualization into BlueJ: the Jeliot 3 Extension
Previous research on program visualization tools has suggested that both static and dynamic aspects of the program shall be shown to novice students. We attempted to expand the st...
Niko Myller, Roman Bednarik, Andrés Moreno
ICCS
2005
Springer
16 years 1 days ago
Dynamic and Fine-Grained Authentication and Authorization Architecture for Grid Computing
The Globus Toolkit makes it very easy and comfortable for grid users to develop and deploy grid service. As for the security mechanism, however, only static authentication and coar...
Hyunjoon Jung, Hyuck Han, Hyungsoo Jung, Heon Youn...
VISSOFT
2002
IEEE
15 years 11 months ago
Specifying Algorithm Visualizations in Terms of Data Flow
Interesting events and state mapping are two approaches used to specify software visualization. They are applied in, respectively, event-driven and data-driven visualization syste...
Jaroslaw Francik
KI
2009
Springer
15 years 11 months ago
Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robe...