Sciweavers

9455 search results - page 378 / 1891
» The Modelling Language Zinc
Sort
View
ICSM
2006
IEEE
16 years 27 days ago
An Extensible Meta-Model for Program Analysis
— Software maintenance tools for program analysis and refactoring rely on a meta-model capturing the relevant properties of programs. However, what is considered relevant may cha...
Dennis Strein, Rüdiger Lincke, Jonas Lundberg...
ITRUST
2005
Springer
16 years 10 days ago
A Representation Model of Trust Relationships with Delegation Extensions
Abstract. Logic languages establish a formal framework to solve authorization and delegation conflicts. However, we consider that a visual representation is necessary since graphs...
Isaac Agudo, Javier Lopez, José A. Monteneg...
UM
2005
Springer
16 years 10 days ago
A Semi-automated Wizard of Oz Interface for Modeling Tutorial Strategies
Paola Rizzo, Hyokyeong Lee, Erin Shaw, W. Lewis Jo...
ICALP
2004
Springer
16 years 7 days ago
On Graph Problems in a Semi-streaming Model
Joan Feigenbaum, Sampath Kannan, Andrew McGregor, ...