2597 search results - page 198 / 520 » A Relational Approach to Support Software Architecture Analy... |
181
Voted
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 ...
166
click to vote
ICFEM
2003
Springer
15 years 10 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
169
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
Modular and flexible software components can be useful for reuse across a class of domain-specific applications or product lines. By varying the composition of components suited t...
137
Voted
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We add labels to first-order clauses to simultaneously apply superpositions to several proof obligations inside one clause set. From a theoretical perspective, the approach unifies...
188
Voted
GPCE
2009
Springer
15 years 10 months ago
2009
Springer
Developing pervasive computing applications is a difficult task because it requires to deal with a wide range of issues: heterogeneous devices, entity distribution, entity coordi...