832 search results - page 81 / 167 » Declarative Specification of Software Architectures |
143
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Answer-set programming (ASP) is a well-acknowledged paradigm for declarative problem solving, yet comparably little effort has been spent on the investigation of methods to support...
130
click to vote
EUROPAR
2008
Springer
15 years 6 months ago
2008
Springer
We describe a software solution to the problem of automatic parallelization of linear algebra code on multi-processor and multi-core architectures. This solution relies on the defi...
152
click to vote
CSMR
2008
IEEE
15 years 6 months ago
2008
IEEE
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...
178
Voted
INFSOF
2011
14 years 11 months ago
2011
Context: Service Oriented Architectures (SOA) have emerged as a new paradigm to develop interoperable and highly dynamic applications. Objective: This paper aims to identify the s...
124
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Software construction has typically drawn on engineering metaphors like building bridges or cathedrals, which emphasize architecture, specification, central planning, and determin...