676 search results - page 50 / 136 » A theory of aspects |
98
Voted
STOC
2003
ACM
16 years 26 days ago
2003
ACM
The main question studied in this article may be viewed as a nonlinear analogue of Dvoretzky's theorem in Banach space theory or as part of Ramsey theory in combinatorics. Gi...
94
Voted
AOSE
2005
Springer
15 years 6 months ago
2005
Springer
Requirements elicitation for a software system is a key stage in a successful development. At the same time, it is one of the most challenging, because requirements have to conside...
149
Voted
SIGSOFT
1996
ACM
15 years 4 months ago
1996
ACM
Abstract -- Software architectures enable large-scale software development. Component reuse and substitutability, two key aspects of large-scale development, must be planned for du...
103
Voted
ATAL
1995
Springer
15 years 4 months ago
1995
Springer
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...
103
click to vote
EJC
2008
15 years 19 days ago
2008
The numbers game is a one-player game played on a finite simple graph with certain "amplitudes" assigned to its edges and with an initial assignment of real numbers to i...