2813 search results - page 188 / 563 » Formalizing Architectural Connection |
146
click to vote
SEW
2005
IEEE
15 years 12 months ago
2005
IEEE
A challenging problem for software engineering practitioners is moving from high-level system architectures produced by system engineers to deployable software produced by softwar...
156
click to vote
GEOS
2005
Springer
15 years 12 months ago
2005
Springer
This paper analyses reported difficulties in spatial data retrieval from Internet portals, based on results from an empirical survey. The analysis reveals the problems which cause ...
168
click to vote
AUSAI
2005
Springer
15 years 12 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
177
click to vote
ACTA
2002
15 years 6 months ago
2002
Abstract. In this paper the focus is on object-oriented analysis of information systems. We assume that the communication within an application domain can be described by a logbook...
194
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...