Sciweavers

592 search results - page 38 / 119
» Refining Goal Models by Evaluating System Behaviour
Sort
View
ICSE
2004
IEEE-ACM
16 years 3 months ago
Elaborating Security Requirements by Construction of Intentional Anti-Models
Caring for security at requirements engineering time is a message that has finally received some attention recently. However, it is not yet very clear how to achieve this systemat...
Axel van Lamsweerde
SIBGRAPI
2008
IEEE
15 years 10 months ago
Using Multi-agent Systems for Sampling and Rendering Implicit Surfaces
In this paper a Multi-Agent System for Sampling and Rendering Implicit Surfaces is presented (MASSRIS). Previous approaches to pen-and-ink style renderings of implicit surfaces we...
Pauline Jepp, Jörg Denzinger, Brian Wyvill, M...
QEST
2009
IEEE
15 years 10 months ago
Mean-Field Analysis for the Evaluation of Gossip Protocols
—Gossip protocols are designed to operate in very large, decentralised networks. A node in such a network bases its decision to interact (gossip) with another node on its partial...
Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn ...
123
Voted
OSDI
2004
ACM
16 years 4 months ago
Using Magpie for Request Extraction and Workload Modelling
Tools to understand complex system behaviour are essential for many performance analysis and debugging tasks, yet there are many open research problems in their development. Magpi...
Paul Barham, Austin Donnelly, Rebecca Isaacs, Rich...
112
Voted
AIED
2009
Springer
15 years 10 months ago
Combining Evaluative and Generative Diagnosis in ACTIVEMATH
Generative and evaluative approaches are two different ways of diagnosing students’ input that have been realized in a number of intelligent tutoring systems. We describe how Ac...
George Goguadze, Erica Melis