Sciweavers

2880 search results - page 179 / 576
» context 2007
Sort
View
ECBS
2007
IEEE
98views Hardware» more  ECBS 2007»
15 years 11 months ago
A Process Module to Pre-Process Requirements for Architecting
Software architectures have a significant impact on software quality. However, building architectures is a non-trivial task. In this paper, we present a process module for pre-pro...
Matthias Galster, Armin Eberlein, Mahmood Moussavi
LFCS
2007
Springer
15 years 11 months ago
Total Public Announcements
We present a dynamic epistemic logic for knowledge change of rational agents. Existing approaches only deal with partial public announcements, that means an announcement may lead ...
David Steiner, Thomas Studer
CASCON
2006
107views Education» more  CASCON 2006»
15 years 6 months ago
Tailoring UML activities to use case modeling for web application development
UML activity models (activities, for short) have become widely accepted for specifying the dynamic behavior of use cases. For an adequate specification of use cases in the context...
Alexander Lorenz, Hans-Werner Six
IPPS
2007
IEEE
15 years 11 months ago
Modeling Modern Micro-architectures using CASL
We overview CASL, the CoGenT Architecture Specification Language, a mixed behavioral-structure architecture description language designed to facilitate fast prototyping and tool ...
Edward K. Walters II, J. Eliot B. Moss, Trek S. Pa...
AAMAS
2007
Springer
15 years 11 months ago
Auctions, Evolution, and Multi-agent Learning
For a number of years we have been working towards the goal of automatically creating auction mechanisms, using a range of techniques from evolutionary and multi-agent learning. Th...
Steve Phelps, Kai Cai, Peter McBurney, Jinzhong Ni...