13026 search results - page 2375 / 2606 » Creativity and Artificial Intelligence |
185
click to vote
GPCE
2007
Springer
16 years 26 days ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
193
click to vote
GPCE
2007
Springer
16 years 26 days ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
154
click to vote
GPCE
2007
Springer
16 years 26 days ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
177
click to vote
GPCE
2007
Springer
16 years 26 days ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
174
click to vote
GPCE
2007
Springer
16 years 26 days ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...