3045 search results - page 40 / 609 » Formal Approaches to Software Architecture |
103
click to vote
SOFTVIS
2003
ACM
15 years 3 months ago
2003
ACM
An active research area in telecommunications concerns how to specify and control the addition of new services, such as call waiting or instant messaging, into existing software. ...
MEMOCODE
2008
IEEE
15 years 4 months ago
2008
IEEE
—Caches are commonly employed to hide the latency gap between memory and the CPU by exploiting locality in memory accesses. The cache performance strongly influences a system’...
ECRA
2002
14 years 10 months ago
2002
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
HF
2007
2007
Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm
14 years 10 months ago
In this paper we propose a formal approach and methodology for analysis and generation of human-machine interfaces, with special emphasis on human-automation interaction. Our appr...
EDO
2000
Springer
15 years 2 months ago
2000
Springer
Architectural reflection is the computation performed by a software system about its own software architecture. Building on previous research and on practical experience in industr...